Skip to content
Implementation of Microsoft's CHESS model checker for the python language
Find file
Pull request Compare This branch is 2 commits ahead, 1 commit behind master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


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
Something went wrong with that request. Please try again.