Category:形式手法
チューリングマシン
Turing machine▲1 trends
充足可能性問題
Boolean satisfiability problem▲1 trends
有限オートマトン
Finite-state machine
概念実証
Proof of conceptラムダ計算
Lambda calculus
静的コード解析
Static program analysis
シークエント計算
Sequent calculus
プログラム意味論
Semantics (computer science)
形式手法
Formal methods
グレブナー基底
Gröbner basis
ペトリネット
Petri net
形式体系
Formal system
ユニフィケーション
Unification (computer science)
CICS
CICS
論理プログラミング
Logic programming
Z言語
Z notation
形式的検証
Formal verification
自動推論
Automated reasoning
仕様記述言語
Specification language
VDM
Vienna Development Method
形式仕様記述
Formal specification
ホーア論理
Hoare logic
導出原理
Resolution (logic)
不変条件
Invariant (computer science)
ループ不変条件
Loop invariant
モデル検査
Model checking
並行論理プログラミング
Concurrent logic programming
詳細化
Refinement (computing)