mu-calculus

There are 8 repositories under mu-calculus topic.

mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
Language:C++88 11 1.7k36
utwente-fmt/ltsmin
The LTSmin model checking toolset
Language:C52 13 16530
jkeiren/TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Language:C++4 1 02
cxlvinchau/mu-calculus
Simple implementation of mu-calculus model checking
Language:Python1 1 00
Cyofanni/PMModelChecker
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
Language:C++1 2 00
dhorpynchenko/Orchestration-of-Transducers-for-Manufacturing
Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019
Language:Jupyter Notebook1 0 00
Ohara124c41/ASML-Wafer_Stepper
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.
1 2 0
whazor/model_checker
Allows model checking by mu calculus
Language:Rust0 3 01