Possibly pertinent: PyModel, a modelling system and model checker in and for Python --- the models are coded in standard Python. In addition to analysis, the system can be used as a test case generator and test runner for offline testing and "on the fly" testing (where a long-running test case is generated as the test executes).
Comments
Possibly pertinent: PyModel, a modelling system and model checker in and for Python --- the models are coded in standard Python. In addition to analysis, the system can be used as a test case generator and test runner for offline testing and "on the fly" testing (where a long-running test case is generated as the test executes).
https://jon-jacky.github.io/PyModel/www/
https://github.com/jon-jacky/PyModel/
The PyModel in that repository is written in Python 2 and has not been maintained for more than ten years.
This fork is in Python 3 and was last revised two years ago:
https://github.com/zlorb/PyModel
The best description of PyModel is the talk at SciPy 2011:
Slides: https://jon-jacky.github.io/PyModel/talks/pymodel-nwpd10.pdf
Paper: https://jon-jacky.github.io/PyModel/talks/pymodel-scipy2011....
PyModel's model checking is explained on p. 3 in the paper in the sections titled Analysis and Safety and Liveness.