A simple model checker in Haskell
19 views
Skip to first unread message
Thomas H
Apr 1, 2009, 2:15:02 PM4/1/09
to Hardware Description and Verification 2009
Hello,
The simple model checker in Haskell that I presented in the lecture
yesterday is now available:
http://www.cse.chalmers.se/edu/course/TDA956/TH/MC/
--
Thomas H
The simple model checker in Haskell that I presented in the lecture
yesterday is now available:
http://www.cse.chalmers.se/edu/course/TDA956/TH/MC/
--
Thomas H
Reply all
Reply to author
Forward
0 new messages