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: [email protected]
_______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
