Similar to 形式等価判定
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
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項書き換え
Rewriting構成規則
Formation rule合流性
Confluence (abstract rewriting)シークエント計算
Sequent calculus自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning自動定理証明
Automated theorem proving充足可能性問題
Boolean satisfiability problem述語変換意味論
Predicate transformer semantics仕様記述言語
Specification language詳細化
Refinement (computing)SPINモデルチェッカ
SPIN model checker静的コード解析
Static program analysis