トップ 品質保証とテストソフトウェア のために Alexandre David

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