Category:形式手法
ラムダ計算
Lambda calculus
充足可能性問題
Boolean satisfiability problem
概念実証
Proof of concept
形式手法
Formal methods
静的コード解析
Static program analysis
時相論理
Temporal logic
Mizar
Mizar system
グレブナー基底
Gröbner basis
自動推論
Automated reasoning
DPLLアルゴリズム
DPLL algorithm
自動定理証明
Automated theorem proving
導出原理
Resolution (logic)
ユニフィケーション
Unification (computer science)
項書き換え
Rewriting
並行制約プログラミング
Concurrent constraint logic programming文字列書き換え系
Semi-Thue system
形式等価判定
Formal equivalence checking
形式仕様記述
Formal specification
双模倣性
Bisimulation
PlusCal
PlusCal構成規則
Formation ruleセーフティクリティカルシステム
Safety-critical system
合流性
Confluence (abstract rewriting)
並行論理プログラミング
Concurrent logic programming
プログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)