Skip to content
@UPPAALModelChecker

UPPAAL

Pinned Loading

  1. UPPAAL-Meta UPPAAL-Meta Public

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

    1

  2. docs.uppaal.org docs.uppaal.org Public

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

    HTML 1 13

  3. utap utap Public

    Uppaal Timed Automata Parser

    C++ 10 9

  4. UDBM UDBM Public

    Uppaal DBM library

    C++ 6 7

  5. UCDD UCDD Public

    Uppaal CDD library

    C++ 3 10

  6. uppaal-libs uppaal-libs Public

    Dynamic libraries for Uppaal models

    C++ 3

Repositories

Showing 10 of 11 repositories
  • UUtils Public

    The (spookiest) UPPAAL utility library

    UPPAALModelChecker/UUtils’s past year of commit activity
    C++ 0 GPL-3.0 3 2 0 Updated Dec 3, 2024
  • docs.uppaal.org Public

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

    UPPAALModelChecker/docs.uppaal.org’s past year of commit activity
    HTML 1 13 17 2 Updated Nov 11, 2024
  • uppaal-latex Public

    LaTeX package to typeset Uppaal timed automata specifications

    UPPAALModelChecker/uppaal-latex’s past year of commit activity
    TeX 13 MIT 1 0 0 Updated Aug 7, 2024
  • utap Public

    Uppaal Timed Automata Parser

    UPPAALModelChecker/utap’s past year of commit activity
    C++ 10 LGPL-2.1 9 8 (1 issue needs help) 5 Updated May 2, 2024
  • uppaal-libs Public

    Dynamic libraries for Uppaal models

    UPPAALModelChecker/uppaal-libs’s past year of commit activity
    C++ 0 MIT 3 1 1 Updated Apr 4, 2024
  • uls Public

    UPPAAL Language Server for syntax highlighting and auto-completion

    UPPAALModelChecker/uls’s past year of commit activity
    C++ 0 LGPL-2.1 1 1 0 Updated Dec 15, 2023
  • UDBM Public

    Uppaal DBM library

    UPPAALModelChecker/UDBM’s past year of commit activity
    C++ 6 GPL-3.0 7 4 1 Updated Sep 29, 2023
  • UCDD Public

    Uppaal CDD library

    UPPAALModelChecker/UCDD’s past year of commit activity
    C++ 3 GPL-3.0 10 11 1 Updated Sep 15, 2023
  • tracer Public

    Uppaal trace interpreter

    UPPAALModelChecker/tracer’s past year of commit activity
    C++ 0 LGPL-2.1 0 0 0 Updated Feb 1, 2023
  • UPPAAL-Meta Public

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

    UPPAALModelChecker/UPPAAL-Meta’s past year of commit activity
    1 0 112 0 Updated Apr 22, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…