Similar to 時相論理
形式仕様記述
Formal specification形式的検証
Formal verification形式等価判定
Formal equivalence checking充足可能性問題
Boolean satisfiability problem述語変換意味論
Predicate transformer semantics仕様記述言語
Specification language詳細化
Refinement (computing)SPINモデルチェッカ
SPIN model checker静的コード解析
Static program analysisZ言語
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)ループ不変条件
Loop invariantTemplate:1950年国王復位に関するベルギーの国民投票
Template:Royal Question referendum