Category:形式手法
チューリングマシン
Turing machine
概念実証
Proof of conceptラムダ計算
Lambda calculus
時相論理
Temporal logic
静的コード解析
Static program analysis
グレブナー基底
Gröbner basis
形式的検証
Formal verification
シークエント計算
Sequent calculus
モデル検査
Model checking
形式手法
Formal methods
論理プログラミング
Logic programming
Z言語
Z notation
導出原理
Resolution (logic)
CICS
CICS
Mizar
Mizar system
形式体系
Formal system
セーフティクリティカルシステム
Safety-critical system
形式仕様記述
Formal specification
自動推論
Automated reasoning
ユニフィケーション
Unification (computer science)
文字列書き換え系
Semi-Thue system
自動定理証明
Automated theorem proving
形式等価判定
Formal equivalence checking
仕様及び記述言語
Specification and Description LanguagePlusCal
PlusCal構成規則
Formation rule
不変条件
Invariant (computer science)プログラミングの統一理論
Unifying Theories of Programming