Similar to ユニフィケーション
形式手法
Formal methods/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
CICS
CICS
Communicating Sequential Processes
Communicating sequential processes
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
時相論理
Temporal logic
充足可能性問題
Boolean satisfiability problem
述語変換意味論
Predicate transformer semantics
仕様記述言語
Specification language
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
Z言語
Z notation