Уотерс - инструмент анализа Вайкато для событий в реактивных системах. Это программное обеспечение позволит пользователям создавать модели машин с конечным состоянием в графическом пользовательском интерфейсе, имитировать их выполнение и применять к ним алгоритмы проверки моделей.
история версии
- Версия N/A размещено на 2011-08-12
Несколько исправлений и обновлений - Версия N/A размещено на 2011-08-12
Подробная информация о программе
- Категории: Развития > Других
- Издателя: waters.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows