Similar to TLA+
仕様記述言語
Specification languageB-Method
B-Methodプロセス計算
Process calculusペトリネット
Petri netプログラム意味論
Semantics (computer science)形式仕様記述
Formal specificationPlusCal
PlusCalSpec Sharp
VDM
Vienna Development MethodZ言語
Z notation仕様及び記述言語
Specification and Description Language形式手法
Formal methodsCommunicating Sequential Processes
Communicating sequential processesEiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguageProperty Specification Language
Property Specification Language公理的意味論
Axiomatic semantics操作的意味論
Operational semantics表示的意味論
Denotational semanticsAlloy Analyzer
Alloy AnalyzerCICS
CICSDPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)Planner
Planner (programming language)概念実証
Proof of concept型付きラムダ計算
Typed lambda calculusギルモアのアルゴリズム