Skip to content
@UPPAALModelChecker

UPPAAL

Pinned Loading

  1. 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 Public

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

    HTML 1 13

  3. utap Public

    Uppaal Timed Automata Parser

    C++ 10 9

  4. UDBM Public

    Uppaal DBM library

    C++ 6 7

  5. UCDD Public

    Uppaal CDD library

    C++ 3 10

  6. uppaal-libs Public

    Dynamic libraries for Uppaal models

    C++ 3

Repositories

Showing 10 of 11 repositories
  • UUtils Public

    The (spookiest) UPPAAL utility library

    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

    HTML 1 13 17 2 Updated Nov 11, 2024
  • uppaal-latex Public

    LaTeX package to typeset Uppaal timed automata specifications

    TeX 13 MIT 1 0 0 Updated Aug 7, 2024
  • utap Public

    Uppaal Timed Automata Parser

    C++ 10 LGPL-2.1 9 8 (1 issue needs help) 6 Updated May 2, 2024
  • uppaal-libs Public

    Dynamic libraries for Uppaal models

    C++ 0 MIT 3 1 1 Updated Apr 4, 2024
  • uls Public

    UPPAAL Language Server for syntax highlighting and auto-completion

    C++ 0 LGPL-2.1 1 1 0 Updated Dec 15, 2023
  • UDBM Public

    Uppaal DBM library

    C++ 6 GPL-3.0 7 4 1 Updated Sep 29, 2023
  • UCDD Public

    Uppaal CDD library

    C++ 3 GPL-3.0 10 11 1 Updated Sep 15, 2023
  • tracer Public

    Uppaal trace interpreter

    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.

    1 0 113 0 Updated Apr 22, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…