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