The Git repository for the mCRL2 toolset.
-
Updated
Aug 26, 2024 - C++
The Git repository for the mCRL2 toolset.
The LTSmin model checking toolset
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
This project was for a course at TU/e called System Validation. The goal was to create an architecture with parallel components and use formal model checking to evaluate the model. The use case is a simplified EUV wafer stepper from ASML.
Simple implementation of mu-calculus model checking
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019
Add a description, image, and links to the mu-calculus topic page so that developers can more easily learn about it.
To associate your repository with the mu-calculus topic, visit your repo's landing page and select "manage topics."