Category:形式手法
有限オートマトン
Finite-state machine
モデル検査
Model checkingラムダ計算
Lambda calculus
項書き換え
Rewriting/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
ユニフィケーション
Unification (computer science)
形式体系
Formal system
形式仕様記述
Formal specification
SPINモデルチェッカ
SPIN model checker文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCal
プログラミングの統一理論
Unifying Theories of Programming
仕様及び記述言語
Specification and Description LanguageCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+
ギルモアのアルゴリズム
形式等価判定
Formal equivalence checking
表明 (プログラミング)
Assertion (software development)
自己認識論理
Autoepistemic logic
Planner
Planner (programming language)
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
形式的検証
Formal verification
不変条件
Invariant (computer science)
合流性
Confluence (abstract rewriting)
CICS
CICS