Category:形式手法
形式体系
Formal system
形式的検証
Formal verification
充足可能性問題
Boolean satisfiability problem
有限オートマトン
Finite-state machine
概念実証
Proof of concept
ホーア論理
Hoare logic
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
導出原理
Resolution (logic)
SPINモデルチェッカ
SPIN model checker
時相論理
Temporal logic
自動定理証明
Automated theorem proving
Z言語
Z notation
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
グレブナー基底
Gröbner basis
自動推論
Automated reasoning
仕様及び記述言語
Specification and Description Language
モデル検査
Model checking
項書き換え
Rewriting
VDM
Vienna Development Method
並行制約プログラミング
Concurrent constraint logic programming文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCalプログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language