A Simple CTL Model Checker in Haskell

Here is a simple Haskell implementation of the model checking algorithm outlined in these slides. It does not use any fancy tricks (like BDDs) to make it efficient, so it will probably only work on toy examples. A package with the above files for download: mc.tar.gz
Hardware Description and Verification 2009
Thomas Hallgren