- ホームページ
- Alexandre David
最近閲覧ソフト
-
hp_6.2.23_nld_nonet.exe 26 Oct 15
人気のソフトウェア
-
xmmsctrl 3 Jun 15
-
UPPAAL TIGA 2 Jun 15
-
UPPAAL 2 Jun 15
フリー ソフトウェア のために Alexandre David
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGAはUPPAAL [BDL04]の拡張であり、それは到達可能性および安全性特性に関して時限ゲームオートマトンに基づいてゲームを解決するための第1の効率的なオンザフライアルゴリズムを実装しています。長い間、時限ゲームが決定可能であることが知られているが、今までは、解析のための効率的かつ真にオンザフライアルゴリズムの欠如がありました。UPPAAL...
UPPAAL 4.0.6
UPPAALは、モデリング、検証およびデータ型で拡張時間オートマトンのネットワーク、(有界整数、アレイなど)としてモデル化リアルタイムシステムの検証のための統合ツール環境です。UPPAAL CORAは、VHSやAMETISTプロジェクトの一部としてUPPAALチームによって開発コスト最適到達可能AnslysisためUPPAALのブランチです。 UPPAALは時間オートマトンのモデル検査をサポートし、一方、UPPAAL CORAはLPTAと呼ばれる時間オートマトンの拡張機能を使用しています。...
最近閲覧ソフト
-
hp_6.2.23_nld_nonet.exe 26 Oct 15
人気のソフトウェア
-
UPPAAL 2 Jun 15
-
UPPAAL TIGA 2 Jun 15
-
xmmsctrl 3 Jun 15