Similar to TLA+
モデル検査
Model checkingモンデックスカード
Mondex有限オートマトン
Finite-state machineユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculusループ不変条件
Loop invariant論理プログラミング
Logic programmingEiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguageProperty Specification Language
Property Specification Language公理的意味論
Axiomatic semantics操作的意味論
Operational semantics表示的意味論
Denotational semanticsERIL
ERILMeta-Object Facility
Meta-Object FacilityWebXR Device API
インタフェース記述言語
Interface description languageビジネスプロセスモデリング表記法
Business Process Model and Notationモデリング言語
Modeling languageモデル変換言語
Model transformation languageデッドアンロックシステム
並行性
Concurrency (computer science)ABA問題
ABA problemアクターモデル
Actor model一貫性モデル (ソフトウェア)
Consistency model居眠り床屋問題
Sleeping barber problem競合状態
Race conditionグローバルインタプリタロック
Global interpreter lock