Similar to TLA+
/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
仕様記述言語
Specification language
プロセス計算
Process calculus
ペトリネット
Petri net
Spec Sharp
仕様及び記述言語
Specification and Description Language
形式手法
Formal methodsCommunicating Sequential Processes
Communicating sequential processesPlusCal
PlusCal
VDM
Vienna Development Method
形式仕様記述
Formal specification
Z言語
Z notation
プログラム意味論
Semantics (computer science)Alloy Analyzer
Alloy Analyzer
CICS
CICS
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule