UPPAAL (@UPPAALModelChecker)
Guthub

UPPAALModelChecker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    32
  • Global Org. Rank 96,071 (Top 31 %)
  • Registered over 3 years ago
  • Most used languages
    C++
         50.0 %
    HTML
         16.7 %
    TeX
         16.7 %
    Python
         16.7 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 1,782
  • Country Ranking
    TeX
         26
    C++
         150
    HTML
         802
    Python
         1,245

Top repositories

1

uppaal-latex

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

utap

Uppaal Timed Automata Parser
C++
8
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