Implementation of Microsoft's CHESS model checker for the python language
Python
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README
bank_transaction_bad.py
bank_transaction_good.py
controlled_threading.py
pychess.py

README

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