Similar to PlusCal
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
Eiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguageProperty Specification Language
Property Specification LanguageSpec Sharp
公理的意味論
Axiomatic semantics
操作的意味論
Operational semantics
表示的意味論
Denotational semantics
Template:Computer-stub
Template:Compu-stub
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)
2-3-4木
2–3–4 tree
2-3木
2–3 tree
3Dアトリエ
3D-Coat
3D-Coat