主な形式手法とその記述法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/24 14:45 UTC 版)
「形式手法」の記事における「主な形式手法とその記述法」の解説
以下に主な形式手法と形式手法の記述法を列挙する。 仕様記述言語 アクターモデル プロセス計算CSP LOTOS π計算(英語版) ペトリネット 抽象状態機械(英語版) (ASM) Alloy ANSI/ISO C Specification Language(英語版) (ACSL) B-Method CADP Common Algebraic Specification Language (CASL) Esterel Lustre mCRL2 Perfect Developer RAISE Rebeca Modeling Language SPARK Ada(英語版) Specification and Description Language (SDL) Temporal logic of actions (TLA) uppaal USL VDMVDM-SL VDM++ Z言語 モデルチェッカ SPIN PAT MALPAS Software Static Analysis Toolset
※この「主な形式手法とその記述法」の解説は、「形式手法」の解説の一部です。
「主な形式手法とその記述法」を含む「形式手法」の記事については、「形式手法」の概要を参照ください。
- 主な形式手法とその記述法のページへのリンク