GitHub - egrim/pyChess: Implementation of Microsoft's CHESS model checker for the python language

egrim / pyChess Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

Implementation of Microsoft's CHESS model checker for the python language

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.gitignore		.gitignore
README		README
bank_transaction_bad.py		bank_transaction_bad.py
bank_transaction_good.py		bank_transaction_good.py
controlled_threading.py		controlled_threading.py
pychess.py		pychess.py

Repository files navigation

pyChess is an implementation of Microsoft's CHESS model checker for concurrent programming using the python language. pyChess requires the greenlet module available from pypi.

CHESS is, presumably, a trademark of Microsoft's so consider this a working title until we can think of something better (or the unlikely happenstance that we get their blessing).

Developed as an academic exercise by:
    Evan Grim
    Shaun Phillips
    Eric Huneke