mu-calculus

There are 1 repository under mu-calculus topic.

mCRL2org / mCRL2
The Git repository for the mCRL2 toolset.
model-checker model-checking mu-calculus term-rewriting
Language:C++ 84
utwente-fmt / ltsmin
The LTSmin model checking toolset
model-checking linear-temporal-logic model-checker computation-tree-logic mu-calculus petri-net pnml promela dve
Language:C 51
jkeiren / TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
model-checking timed-automata verification model-checker mu-calculus
Language:C++ 4
Cyofanni / PMModelChecker
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
mu-calculus model-checking fixpoint-systems parity-games
Language:C++ 1
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
mu-calculus greatest-fix-point safety-games
Language:Jupyter Notebook 1
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.
formal-verification model-checking mu-calculus system-design system-monitoring
1
whazor / model_checker
Allows model checking by mu calculus
verification rust mu-calculus
Language:Rust 0

mCRL2org / mCRL2