TAPAAL3.9.3

TAPAAL позволяет пользователям создавать формальные модели систем, поведение которых зависит от времени, используя сети Timed-Arc Petri. Его функции моделирования описывают эти сети в структурированной форме, подходящей для точного анализа. Пользователи могут смоделировать модель, чтобы изучить, как она ведет себя с течением времени. Они также могут проверять формальные свойства, выходя за рамки наблюдения, чтобы оценить, удовлетворяет ли модель определенным условиям.

Объединяя моделирование, симуляцию времени и верификацию, TAPAAL поддерживает полный рабочий процесс для изучения формального поведения системы. Он предназначен для студентов, преподавателей и других лиц, работающих с формальным компьютерным моделированием, особенно когда время должно быть представлено явно. Типичные применения включают в себя образовательные упражнения, в которых система моделируется, ее выполнение исследуется, а ее свойства проверяются. Программное обеспечение было разработано на кафедре компьютерных наук в Ольборгском университете в Дании.

TAPAAL издается Кеннетом Йоргенсеном, а текущая версия — 3.9.3. Он работает на Linux, требует щелчка и поддерживает архитектуру amd64. Классифицированный как Образование, он распространяется как бесплатное программное обеспечение, а не через платную лицензию на программное обеспечение.