Skip to content

@UPPAALModelChecker UPPAAL

Change the repository type filter

All

    Repositories list

    13 repositories

    • utap

      Public
      Uppaal Timed Automata Parser
      C++
      •
      GNU Lesser General Public License v2.1
      •10•11•8•5•Updated Jul 4, 2025Jul 4, 2025

    • docs.uppaal.org

      Public
      This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
      documentationuppaal
      HTML
      •14•2•17•2•Updated Jul 3, 2025Jul 3, 2025

    • UDBM

      Public
      Uppaal DBM library
      C++
      •
      GNU General Public License v3.0
      •7•6•4•1•Updated Jul 3, 2025Jul 3, 2025

    • libffi-build

      Public
      Builds Foreign Function Interface library
      Shell
      •
      MIT License
      •0•0•0•0•Updated May 28, 2025May 28, 2025

    • toolchains

      Public
      Common Toolchains for Building UPPAAL
      CMake
      •
      MIT License
      •0•0•0•0•Updated May 28, 2025May 28, 2025

    • UCDD

      Public
      Uppaal CDD library
      C++
      •
      GNU General Public License v3.0
      •10•3•11•0•Updated May 12, 2025May 12, 2025

    • UUtils

      Public
      The (spookiest) UPPAAL utility library
      C++
      •
      GNU General Public License v3.0
      •3•0•2•0•Updated Apr 23, 2025Apr 23, 2025

    • uppaal-latex

      Public
      LaTeX package to typeset Uppaal timed automata specifications
      latextypesettingmodel-checkinguppaaltimed-automata
      TeX
      •
      MIT License
      •1•13•0•0•Updated Aug 7, 2024Aug 7, 2024

    • uppaal-libs

      Public
      Dynamic libraries for Uppaal models
      csvverificationmodel-checkingcsv-exportcsv-importuppaaltimed-automata
      C++
      •
      MIT License
      •3•0•1•1•Updated Apr 4, 2024Apr 4, 2024

    • uls

      Public
      UPPAAL Language Server for syntax highlighting and auto-completion
      C++
      •
      GNU Lesser General Public License v2.1
      •1•0•1•0•Updated Dec 15, 2023Dec 15, 2023

    • tracer

      Public
      Uppaal trace interpreter
      tracewitnessuppaaldiagnostic
      C++
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Feb 1, 2023Feb 1, 2023

    • UPPAAL-Meta

      Public
      This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
      uppaal
      0•0•117•0•Updated Apr 22, 2021Apr 22, 2021

    • python_dbm

      Public
      Python
      •0•2•0•0•Updated Aug 28, 2020Aug 28, 2020