Home My Page Projects Mr. Waffles
Summary Activity Tracker SCM Files

Project description

Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications.

It is particularly suited for program analysis based on control-flow graphs.

Latest File Releases
Package Version Date Notes Download
mrwaffles 9.07 2009-07-10 mrwaffles - Release Notes mrwaffles 9.07 - Download
Public Tools
Tracker  Tracker
SCM Repository (Subversion: 0 updates, 48 adds)