UPPAAL (@UPPAALModelChecker)
Guthub

UPPAALModelChecker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    35
  • Global Org. Rank 93,322 (Top 30 %)
  • Registered about 4 years ago
  • Most used languages
    C++
         57.1 %
    HTML
         14.3 %
    TeX
         14.3 %
    Python
         14.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,782
  • Country Ranking
    TeX
         25
    C++
         144
    HTML
         973
    Python
         1,295

Top repositories

1

uppaal-latex

LaTeX package to typeset Uppaal timed automata specifications
TeX
12
star
2

utap

Uppaal Timed Automata Parser
C++
9
star
3

UDBM

Uppaal DBM library
C++
6
star
4

UCDD

Uppaal CDD library
C++
3
star
5

python_dbm

Python
2
star
6

UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
1
star
7

docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
HTML
1
star
8

uppaal-libs

Dynamic libraries for Uppaal models
C++
1
star