Dear all, <br><br> Is there any work about "model checking haskell program"? 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><font color="#888888"><br> Liu Jian</font><br clear="all">----<br>email to: <a href="mailto:gjk.liu@gmail.com">gjk.liu@gmail.com</a><br>