Similar to VDM
/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
仕様及び記述言語
Specification and Description Language
PlusCal
PlusCalTLA+
TLA+
形式仕様記述
Formal specification
仕様記述言語
Specification language
Z言語
Z notation
プログラム意味論
Semantics (computer science)
プロセス計算
Process calculus
ペトリネット
Petri net
10.5インチiPad Pro
1048576
形式手法
Formal methods
CICS
CICSCommunicating Sequential Processes
Communicating sequential processes
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