Skip to content

@UPPAALModelChecker UPPAAL

Change the repository type filter

All

    Repositories list

    13 repositories

    • docs.uppaal.org

      Public
      This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
      documentationuppaal
      documentationuppaal
      HTML
      •16•2•17•3•Updated Apr 27, 2026Apr 27, 2026

    • uppaal-libs

      Public
      Dynamic libraries for Uppaal models
      csvverificationmodel-checking
      csvverificationmodel-checkingcsv-exportcsv-importuppaaltimed-automata
      CMake
      •
      MIT License
      •3•0•1•2•Updated Mar 16, 2026Mar 16, 2026

    • uppaal-latex

      Public
      LaTeX package to typeset Uppaal timed automata specifications
      latextypesettingmodel-checking
      latextypesettingmodel-checkinguppaaltimed-automata
      TeX
      •
      MIT License
      •1•13•0•0•Updated Dec 19, 2025Dec 19, 2025

    • utap

      Public
      Uppaal Timed Automata Parser
      C++
      •
      GNU Lesser General Public License v2.1
      •10•13•8•6•Updated Oct 24, 2025Oct 24, 2025

    • uls

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

    • UDBM

      Public
      Uppaal DBM library
      C++
      •
      GNU General Public License v3.0
      •7•6•4•2•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

    • tracer

      Public
      Uppaal trace interpreter
      tracewitnessuppaal
      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
      uppaal
      0•0•123•0•Updated Apr 22, 2021Apr 22, 2021

    • python_dbm

      Public
      Python
      •0•2•0•0•Updated Aug 28, 2020Aug 28, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.