形式手法
以下に主な形式手法と形式手法の記述法を列挙する。
仕様記述言語
アクターモデル
プロセス計算 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
VDM VDM-SL VDM++
Z言語
モデルチェッカ
SPIN
PAT
MALPAS Software Static Analysis Toolset