モデル検査ツール

ウィキペディア小見出し辞書

モデル検査ツール

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:15 UTC 版)

「モデル検査」の記事における「モデル検査ツール」の解説

EmbeddedValidator, The Matlab/Simulink/Stateflow/Targetlink Formal Verification Environment Statemate ModelChecker, Statemate Models Robustness Checking Statemate ModelCertifier, Statemate Models Requirements Certification Alloy language APMC LoTREC Bogor CADP CBMC, C/C++ プログラムの制限モデル検査 GEAR, CTL、μ計算、specification patterns を用いたゲーム意味論ベースのモデル検査ツール Java Pathfinder LASH, Liège Automata-based Symbolic Handler LTSA MOPED MOPS, セキュリティに関するモデル検査プログラム NuSMV: a new symbolic model checker ORIS, CTL風の時相論理を使用したリアルタイム指向のシステム ProB ProofPower RAVEN (Real-Time Analysis and Verification Environment) RuleBase SATABS, C/C++ プログラムの述語抽象化 Symbolic Model Checker (SMV) Verification Interacting with Synthesis (VIS) Database of Verification and Model Checking Tools (Yahoda) この記事は2008年11月1日までGFDLバージョン1.3以降の再ライセンス規約に基づいていたFree On-line Dictionary of Computingにある項目の資料が元になっている。