Category:形式手法
充足可能性問題
Boolean satisfiability problem
チューリングマシン
Turing machine
概念実証
Proof of concept
シークエント計算
Sequent calculus
形式手法
Formal methods
有限オートマトン
Finite-state machine
静的コード解析
Static program analysis
形式的検証
Formal verification
プログラム意味論
Semantics (computer science)
ホーア論理
Hoare logic
CICS
CICS
モデル検査
Model checking
仕様記述言語
Specification language
Z言語
Z notation
不変条件
Invariant (computer science)
ループ不変条件
Loop invariant
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
形式仕様記述
Formal specification
DPLLアルゴリズム
DPLL algorithm
節標準形
並行論理プログラミング
Concurrent logic programming
並行制約プログラミング
Concurrent constraint logic programming
文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCal
プログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language