[Haskell-beginners] about model checking of haskell program

[Liu Jian]

Dear,

       Is there any work about "model checking haskell program"? in my
opinion,
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.

        cheers,

        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