Similar to 時相論理
型付きラムダ計算
Typed lambda calculus
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
充足可能性問題
Boolean satisfiability problem
述語変換意味論
Predicate transformer semantics
仕様記述言語
Specification language
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
Z言語
Z notation
双模倣性
Bisimulation
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)