Tapaal

TAPAAL (Aalborg University)

Загрузить сейчас с сайта разработчика

Лицензия: Бесплатная

Количество загрузок:3

Последняя версия:3.2

Сообщить о неточности

Описание

Cкриншот

Tapaal 3.2.0 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.

Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность. ПО относится к категории Образование. Разработчик этой бесплатной программы для Mac — TAPAAL (Aalborg University).

От разработчика:

TAPAAL is a tool for modelling, simulation, and verification of Timed-Arc Petri nets. The TAPAAL tool offers a graphical editor for drawing TAPN models, a simulator for experimenting with the designed nets, and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting).

Мы предлагаем оценить другие macOS программы, такие как RC-AirSim - RC Model Airplane Flight Simulator или Net Tools for Development, которые часто используются вместе с Tapaal.

Скачать Tapaal с сайта разработчика

полезно

Как защитить свой Mac от вредоносных программ

полезно

Как делиться файлами

полезно

Как печатать 10 пальцами