Similar to VDM
B-Method
B-Method仕様及び記述言語
Specification and Description LanguagePlusCal
PlusCalTLA+
TLA+形式仕様記述
Formal specification仕様記述言語
Specification languageZ言語
Z notationプログラム意味論
Semantics (computer science)プロセス計算
Process calculusペトリネット
Petri net10.5インチiPad Pro
11インチiPad Pro (第1世代)
11インチiPad Pro (第2世代)
11インチiPad Pro (第3世代)
12.9インチiPad Pro (第1世代)
IPad Pro (1st generation)12.9インチiPad Pro (第2世代)
IPad Pro (2nd generation)12.9インチiPad Pro (第3世代)
IPad Pro (3rd generation)12.9インチiPad Pro (第4世代)
IPad Pro (4th generation)12.9インチiPad Pro (第5世代)
IPad Pro (5th generation)1349
1349 (band)1680
1048576
形式手法
Formal methodsCICS
CICSCommunicating Sequential Processes
Communicating sequential processesDPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)