[Haskell-cafe] Verifying Haskell Programs
Paulo J. Matos
pocmatos at gmail.com
Sun Feb 1 07:54:11 EST 2009
Much is talked that Haskell, since it is purely functional is easier
to be verified.
However, most of the research I have seen in software verification
(either through model checking or theorem proving) targets C/C++ or
subsets of these. What's the state of the art of automatically
verifying properties of programs written in Haskell?
Paulo Jorge Matos - pocmatos at gmail.com
More information about the Haskell-Cafe