- ホームページ
- Linux
- 開発者用ツール
- 品質保証とテストソフトウェア
- UPPAAL
- ダウンロード中...
UPPAAL 4.0.6
UPPAALは、モデリング、検証およびデータ型で拡張時間オートマトンのネットワーク、(有界整数、アレイなど)としてモデル化リアルタイムシステムの検証のための統合ツール環境です。UPPAAL CORAは、VHSやAMETISTプロジェクトの一部としてUPPAALチームによって開発コスト最適到達可能AnslysisためUPPAALのブランチです。 UPPAALは時間オートマトンのモデル検査をサポートし、一方、UPPAAL CORAはLPTAと呼ばれる時間オートマトンの拡張機能を使用しています。...