The Git repository for the mCRL2 toolset.
-
Updated
Jan 3, 2025 - C++
#
mu-calculus
Here are 9 public repositories matching this topic...
The LTSmin model checking toolset
promela model-checking petri-net model-checker dve pnml linear-temporal-logic mu-calculus computation-tree-logic
-
Updated
Oct 31, 2024 - C
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
-
Updated
Jun 8, 2023 - C++
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.
-
Updated
Jan 16, 2019
Simple implementation of mu-calculus model checking
-
Updated
Jul 12, 2024 - Python
Analysis of the paper "Synthesis of Orchestrations of Transducers for Manufacturing". Final project of "Elective in AI" course, La Sapienza, Rome, Italy, 2019
-
Updated
Jun 1, 2019 - Jupyter Notebook
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
-
Updated
Jul 20, 2024 - C++
Languages for Concurrency and Distribution course ; Master's Degree in Computer Science @ UniPD
-
Updated
Nov 15, 2024 - Elixir
Improve this page
Add a description, image, and links to the mu-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mu-calculus topic, visit your repo's landing page and select "manage topics."