Category:形式手法
チューリングマシン
Turing machine
シークエント計算
Sequent calculus
Mizar
Mizar system
ホーア論理
Hoare logic
静的コード解析
Static program analysis
ユニフィケーション
Unification (computer science)
形式体系
Formal system
仕様記述言語
Specification language
Z言語
Z notation
型付きラムダ計算
Typed lambda calculus
論理プログラミング
Logic programming
VDM
Vienna Development Method
合流性
Confluence (abstract rewriting)
セーフティクリティカルシステム
Safety-critical system
時相論理
Temporal logic
プロセス計算
Process calculus
双模倣性
Bisimulation
プログラム意味論
Semantics (computer science)
仕様及び記述言語
Specification and Description Language
並行制約プログラミング
Concurrent constraint logic programming
文字列書き換え系
Semi-Thue system
SPINモデルチェッカ
SPIN model checker/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
形式等価判定
Formal equivalence checking
並行論理プログラミング
Concurrent logic programming項書き換え
Rewriting
不変条件
Invariant (computer science)PlusCal
PlusCal