search

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3
MIT License
9 stars 1 forks source link

implement bounded model checking #94

Closed wysiib closed 7 years ago