about verification of haskell program

View: New views

1 Messages — Rating Filter: Alert me

about verification of haskell program

by Liu jian :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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@...

_______________________________________________
Haskell mailing list
Haskell@...
http://www.haskell.org/mailman/listinfo/haskell