Similar to ラムダ計算
Planner
Planner (programming language)
PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式等価判定
Formal equivalence checking
自動定理証明
Automated theorem proving
充足可能性問題
Boolean satisfiability problem▲1 trends
仕様記述言語
Specification language
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
抽象解釈
Abstract interpretation
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue systemモンデックスカード
Mondex
有限オートマトン
Finite-state machine▲1 trends
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
公理
Axiom