Similar to TLA+
モデル検査
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 Language
公理的意味論
Axiomatic semantics
操作的意味論
Operational semantics
表示的意味論
Denotational semanticsERIL
ERIL
Meta-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