pymodelchecking (pypi): A simple Python model checking package
Keywords: model|checking|temporal|logics|kripke|structure