Similar to B-Method
TLA+
TLA+
Z言語
Z notationAlloy Analyzer
Alloy AnalyzerSpec Sharp
仕様及び記述言語
Specification and Description Language
形式手法
Formal methodsCommunicating Sequential Processes
Communicating sequential processesPlusCal
PlusCal
VDM
Vienna Development Method
形式仕様記述
Formal specification
仕様記述言語
Specification language
プログラム意味論
Semantics (computer science)
プロセス計算
Process calculus
ペトリネット
Petri net
モデル検査
Model checkingラムダ計算
Lambda calculusObject Constraint Language
Object Constraint Language
10.5インチiPad Pro
ActiveBasic
Autotools
GNU Autotools
CAD
Computer-aided design
CASL
CFL条件
Courant–Friedrichs–Lewy conditionCode Reading
Code Reading
第七号掃海艇 (3代)
Japanese minesweeper No. 7 (1938)
第七潜水艇
第八号掃海艇 (3代)
Japanese minesweeper No. 8 (1938)
第九号掃海艇 (3代)