Category:形式手法
モデル検査
Model checking
項書き換え
Rewriting/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
形式仕様記述
Formal specification
形式体系
Formal system
ユニフィケーション
Unification (computer science)
有限オートマトン
Finite-state machine
SPINモデルチェッカ
SPIN model checker文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCal
プログラミングの統一理論
Unifying Theories of Programming
仕様及び記述言語
Specification and Description LanguageCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+
ギルモアのアルゴリズム
形式等価判定
Formal equivalence checking
表明 (プログラミング)
Assertion (software development)
自己認識論理
Autoepistemic logic
デービス・パトナムのアルゴリズム
Davis–Putnam algorithmセーフティクリティカルシステム
Safety-critical system
Planner
Planner (programming language)
型付きラムダ計算
Typed lambda calculus
不変条件
Invariant (computer science)
双模倣性
Bisimulation
VDM
Vienna Development Method