This model checker was developed as part of my MSc thesis in logic. The theory on symbolic model checking of topo-e-models and documentation of the implementation can be found in the thesis. See https://eprints.illc.uva.nl/id/eprint/2356/1/MoL-2025-01.text.pdf.
DdosSantosGomes/Symbolic-Topo-E-Models
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|