The LTSmin model checking toolset
promela
model-checking
petri-net
model-checker
dve
pnml
linear-temporal-logic
mu-calculus
computation-tree-logic
-
Updated
Mar 8, 2024 - C
The LTSmin model checking toolset
CTL symbolic model-checker based on libDDD and libITS
Efficient On-the-Fly Model Checking for LTL and CTL★.
Add a description, image, and links to the computation-tree-logic topic page so that developers can more easily learn about it.
To associate your repository with the computation-tree-logic topic, visit your repo's landing page and select "manage topics."