![](/statics/img/blank.png)
Triple-A 1.4.1
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 5.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Triple-A
Triple-A (Автоматический анализ с Automata) — полное использование библиотеки (конечных) автоматов, написанных на Java с двумя мощными инструментами анализа (с проверкой модели LTL и арифметикой Presburger) и графическим пользовательским интерфейсом, построенным вокруг него.