Similar to ループ不変条件
B-Method
B-Method10.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
仕様及び記述言語
Specification and Description Language形式手法
Formal methodsCICS
CICSCommunicating Sequential Processes
Communicating sequential processesDPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+VDM
Vienna Development Method概念実証
Proof of concept型付きラムダ計算
Typed lambda calculusギルモアのアルゴリズム
グレブナー基底
Gröbner basis