Versions
Description
A Model Checker based on Z3 to verify DOML files. Part of PIACERE project.
Repository
https://github.com/andreafra/piacere-model-checker.git
Project Slug
piacere-model-checker
Last Built
6 months, 3 weeks ago passed
Maintainers
Home Page
https://github.com/andreafra/piacere-model-checker
Badge
Tags
doml, model-checker, piacere, z3
Short URLs
piacere-model-checker.readthedocs.io
piacere-model-checker.rtfd.io
Default Version
latest
'latest' Version
main