<br>Dear, <br><br>       Is there any work about &quot;model checking haskell program&quot;? in my opinion,<br>think the haskell as a specification language, then we can check it or transform it<br>to other specification language (such as, promela), so can be analyzed.<br>
<br>        cheers,<br><br>        Liu Jian<br clear="all">----<br>email to: <a href="mailto:gjk.liu@gmail.com">gjk.liu@gmail.com</a><br>