Experimental model checker for testing concurrent algorithms
-
Updated
Dec 17, 2024 - OCaml
#
model-checker
Here are 2 public repositories matching this topic...
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
model-checking model-checker real-time-systems timed-automata parameter-synthesis reachability-synthesis
-
Updated
Jan 9, 2025 - OCaml
Improve this page
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."