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