UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGAはUPPAAL [BDL04]の拡張であり、それは到達可能性および安全性特性に関して時限ゲームオートマトンに基づいてゲームを解決するための第1の効率的なオンザフライアルゴリズムを実装しています。長い間、時限ゲームが決定可能であることが知られているが、今までは、解析のための効率的かつ真にオンザフライアルゴリズムの欠如がありました。UPPAAL...

2 Jun 15
Linux
続きを読む
UPPAAL

UPPAAL 4.0.6

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

2 Jun 15 で 開発者用ツール, 品質保証とテストソフトウェア
Linux
続きを読む
人気のソフトウェア