[Haskell] about verification of haskell program

Liu Jian gjk.liu at gmail.com
Tue Nov 3 03:07:23 EST 2009


Dear all,

       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/haskell/attachments/20091103/757c3d7e/attachment.html


More information about the Haskell mailing list