Пакет эффективных символических инструментов (EST) является инструментом на основе BDD для формальной проверки параллельных систем. Его преимуществами являются гибкость, портативность и эффективное управление памятью. Он работает под различными ОС, в том числе Linux и Windows 2000/XP.
история версии
- Версия N/A размещено на 2006-10-09
Несколько исправлений и обновлений - Версия N/A размещено на 2006-10-09
Подробная информация о программе
- Категории: Коммуникаций > Других
- Издателя: est.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows