Flip is a logical framework written in Python. Code, documentation,
and downloads are available:
http://staff.washington.edu/jon/flip/www/
A logical framework is a library for defining logics and writing
applications such as theorem provers. One Flip application is a proof
checker for entering
PyModel is an open-source model-based testing framework in Python.
Code, documents, and downloads are available:
http://staff.washington.edu/jon/pymodel/www/
In unit testing, the programmer codes the test cases, and also codes
assertions that check whether each test case passed. In model-based
PyModel is an open-source model-based testing framework in Python.
Code, documents, and downloads are available:
http://staff.washington.edu/jon/pymodel/www/
The initial public release, v 0.80, appeared in January 2010. Version
0.85 adds features that support "passive testing": automatically
c
FLiP-1.2, a logical framework in Python, has been released. Code,
documentation, and downloads are available:
http://staff.washington.edu/jon/flip/www/
http://pypi.python.org/pypi/FLiP/
https://github.com/jon-jacky/FLiP
Version 1.2 is organized into packages and provides a distutils
PyModel-0.9, an open-source model-based testing framework in Python,
has been released. Code, documents, and downloads are available:
http://staff.washington.edu/jon/pymodel/www/
http://pypi.python.org/pypi/PyModel
https://github.com/jon-jacky/PyModel
Version 0.9 adds new functionality
