intrepyd (pypi): Intrepyd Model Checker
Keywords: automated-tests|formal-methods|formal-verification|model-checker|model-checking|pypi|python|smt-solver|z3