Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23
-
Updated
Oct 22, 2023
Repository for the model used in the paper "Formal Verification of a Mechcanical Ventilator using UPPAAL" presented in FTSCS'23
🔨 A prototype tool on learning DOTAs by testing.
Tool for creating Timed Automata and checking their language emptiness.
A Python implementation of a random generator for Uppaal models.
A sandbox for personal experiments with the carFollowingRTI repository
Modelling a Mirai-like botnet using networks of timed automata in UPPAAL
Generation of efficient state space for Rebeca models extended with timer variables
A simple lamp and button NTA made with UPPAAL
Modelling and analysis of real-time systems
🔨 A prototype tool for learning DOTAs based on mutation testing.
Tool to translate an interactive scenario written in i-score into its UPPAAL model.
CS498: Bachelors Thesis Project. Title: Shield Synthesis for Cyber Physical Systems.
In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.
Analýza systémů založená na modelech - Projekty
🔨 A prototype tool for learning DOTAs exactly.
Recirculating pallet warehouse modeling and simulation by a Petri Net, using PIPE2 Editor, TPN Designer and Uppaal software
Dynamic libraries for Uppaal models
🔨 A prototype tool for learning DOTAs based on PAC.
Official repository for the bachelor thesis "Learning UPPAAL Timed Automata from Network Protocol Traces"
Add a description, image, and links to the timed-automata topic page so that developers can more easily learn about it.
To associate your repository with the timed-automata topic, visit your repo's landing page and select "manage topics."