[Haskell-cafe] Verifying Haskell Programs

Paulo J. Matos pocmatos at gmail.com
Sun Feb 1 07:54:11 EST 2009

Hi all,

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
Webpage: http://www.personal.soton.ac.uk/pocm

More information about the Haskell-Cafe mailing list