Similar to Uppaal
ALGOL
ALGOL
BASIC
BASIC
BLISS
BLISSCoq
Coq (software)JOVIAL
JOVIALAlloy Analyzer
Alloy Analyzer
SPINモデルチェッカ
SPIN model checker
プログラミング言語
Programming language
プログラミング言語一覧
List of programming languages
プログラミング言語年表
History of programming languages
プログラミング言語の比較
Comparison of programming languages
A+
A+ (programming language)A-0 System
A-0 System
ABAP
ABAPABC (プログラミング言語)
ABC (programming language)
Alloy (仕様記述言語)
Altair BASIC
Altair BASIC
APL
APL (programming language)APT (プログラミング言語)
APT (programming language)Asymptote
Asymptote (vector graphics language)Autocode
Autocode
AWK
AWKBallerina
Ballerina (programming language)
BCPL
BCPLBoo (プログラミング言語)
Boo (programming language)
B言語
B (programming language)
C Sharp
C Sharp (programming language)
C++ Builder
C++Builder
