Category:形式手法
モデル検査
Model checkingVDM
Vienna Development Method形式手法
Formal methods形式仕様記述
Formal specification仕様記述言語
Specification language項書き換え
RewritingB-Method
B-MethodCICS
CICS並行論理プログラミング
Concurrent logic programming有限オートマトン
Finite-state machine形式体系
Formal systemプログラム意味論
Semantics (computer science)Mizar
Mizar systemセーフティクリティカルシステム
Safety-critical system仕様及び記述言語
Specification and Description Language文字列書き換え系
Semi-Thue system構成規則
Formation rulePlusCal
PlusCalプログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+ギルモアのアルゴリズム
形式等価判定
Formal equivalence checking表明 (プログラミング)
Assertion (software development)論理プログラミング
Logic programming自己認識論理
Autoepistemic logic