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

A C++ re-implementation of MightyL

Hybrid Modeling, Simulation, and Sub-Optimal Synthesis of a controller for the Ultrafiltration of Industrial Wastewater

Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano

Formal Methods for Concurrent and Real-Time Systems a.y. 23/24 - Homework Project

Model checkign basic mutual exclusion algorithms (Dekker's, Peterson's) using UPPAAL tool

LaTeX package to typeset Uppaal timed automata specifications

This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino

A simple global clock example in UPPAAL.

PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.

A simple lamp and button NTA made with UPPAAL

Projeto de Sistemas a Eventos Discretos para via sinalizada utilizando o conceito de Onda Verde

Dynamic libraries for Uppaal models

Uppaal models of the paper Formal Analysis of the UNISIG Safety Application Intermediate Sublayer. FMICS2021

Verification Project @ ENSTA Bretagne

Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23

Prototype CLI tool to perform MBMT between Networks of Timed Automata

Java API for working with UPPAAL model files

Compute traces inclusion using biased & random traces with UPPAAL models.

Formal Digital Twin of a Lego Mindstorms production plant