Коллекция инструментов, которые могут быть использованы для создания мониторов (квота;сторожевые псы;) из формул LTL. Это известно из области проверки времени выполнения. Для получения дополнительной информации смотрите домашнюю страницу связанного проекта.
история версии
- Версия 0.0.7 размещено на 2009-04-01
Несколько исправлений и обновлений - Версия 0.0.7 размещено на 2009-04-01
Подробная информация о программе
- Категории: Образования > Других
- Издателя: ltl3tools.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 0.0.7
- Платформы: windows