[Haskell-beginners] about model checking of haskell program

Liu Jian gjk.liu at gmail.com
Mon Nov 2 22:21:03 EST 2009


       Is there any work about "model checking haskell program"? in my
think the haskell as a specification language, then we can check it or
transform it
to other specification language (such as, promela), so can be analyzed.


        Liu Jian
email to: gjk.liu at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/beginners/attachments/20091102/86280fb0/attachment.html

More information about the Beginners mailing list