Category:形式手法
チューリングマシン
Turing machineラムダ計算
Lambda calculus
充足可能性問題
Boolean satisfiability problem
静的コード解析
Static program analysis
有限オートマトン
Finite-state machine
形式手法
Formal methods
形式的検証
Formal verification
形式体系
Formal system
節標準形
シークエント計算
Sequent calculus
時相論理
Temporal logic
概念実証
Proof of concept
ホーア論理
Hoare logic
ペトリネット
Petri net
並行論理プログラミング
Concurrent logic programming
項書き換え
Rewriting
Mizar
Mizar system
モデル検査
Model checking
自動推論
Automated reasoning
SPINモデルチェッカ
SPIN model checker
自動定理証明
Automated theorem proving
形式等価判定
Formal equivalence checking
Planner
Planner (programming language)
ユニフィケーション
Unification (computer science)
型付きラムダ計算
Typed lambda calculus
不動点コンビネータ
Fixed-point combinator
グレブナー基底
Gröbner basis
VDM
Vienna Development Method