Similar to Uppaal
ALGOL
ALGOL
BASIC
BASIC
BLISS
BLISS
CASL
CLIPS
CLIPS
Common Lisp
Common LispConcurrent Prolog
Coq
Rocq
C++
C++
Elixir (プログラミング言語)
Elixir (programming language)JOVIAL
JOVIALAlloy Analyzer
Alloy Analyzer
SPINモデルチェッカ
SPIN model checkerプログラミング言語
Programming language▲1 trends
プログラミング言語一覧
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)Autocode
Autocode
AWK
AWKBallerina
Ballerina (programming language)
