Category:形式手法
VDM
Vienna Development Method
ギルモアのアルゴリズム
表明 (プログラミング)
Assertion (software development)
ループ不変条件
Loop invariant
自己認識論理
Autoepistemic logic
詳細化
Refinement (computing)
合流性
Confluence (abstract rewriting)
自動推論
Automated reasoning
Mizar
Mizar system
ペトリネット
Petri net
制約論理プログラミング
Constraint logic programming
抽象解釈
Abstract interpretation
形式等価判定
Formal equivalence checking
双模倣性
Bisimulation
SPINモデルチェッカ
SPIN model checker
セーフティクリティカルシステム
Safety-critical systemモンデックスカード
Mondex
述語変換意味論
Predicate transformer semantics
節標準形
ビリヤードボール・コンピュータ
Billiard-ball computer
導出原理
Resolution (logic)
不変条件
Invariant (computer science)
Planner
Planner (programming language)
時相論理
Temporal logic
並行論理プログラミング
Concurrent logic programming
仕様記述言語
Specification language
項書き換え
Rewriting
CICS
CICS