ACF является основой для написание модели-чекеров. ACF построен на фундаментальном наблюдении, что структура большинства алгоритмы проверки моделей не зависит от формализма, используемого для описания системы.
история версии
- Версия 0.1 размещено на 2000-03-21
Несколько исправлений и обновлений - Версия 0.1 размещено на 2000-03-21
Подробная информация о программе
- Категории: Образования > Других
- Издателя: aiken.cs.abo.fi/acf
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 0.1
- Платформы: linux