TAPAAL3.9.3

TAPAAL は、Timed-Arc Petri ネットを使用して、動作がタイミングに依存するシステムの正式なモデルを構築することができます。 モデリング機能は、精密な解析に適した構造の形でこれらのネットを記述します。 ユーザーは、モデルをシミュレートして、時間の経過とともに振る舞いを調べることができます。 また、観察にとどまらず、モデルが定義された条件を満たしているかどうかを評価するために、形式的な特性を検証することもできます。

モデリング、タイムシミュレーション、検証を組み合わせることで、TAPAALは、システムの正式な動作を勉強するための完全なワークフローをサポートしています。 特にタイミングが明示的に表されなければならないとき、正式なコンピュータサイエンスモデリングで働く学生、インストラクター、その他のために意図されています。 典型的な使用には、システムがモデル化されている教育演習、その実行が探索され、そのプロパティがチェックされます。 本ソフトウェアは、デンマークのAalborg大学でコンピュータサイエンス学部で開発されました。

TAPAAL は、Kenneth Yrke Joergensen によって公開され、現在のバージョンは 3.9.3 です。Linux 上で実行され、snapd が必要で、amd64 アーキテクチャをサポートしています。教育に分類され、有料ソフトウェアライセンスではなくフリーウェアとして配布されています。