Программы triple-a.sf.net

Triple-A (Автоматический анализ с Automata) — полное использование библиотеки (конечных) автоматов, написанных на Java с двумя мощными инструментами анализа (с проверкой модели LTL и арифметикой Presburger) и графическим поль