[Haskell] formal verification for functional programming languages

[Fritz Ruehr]

Anyone interested in program verification issues in a Haskell context  
should check out the Programatica project:

     <http://www.cse.ogi.edu/PacSoft/projects/programatica/>

(I'm not sure how recent changes at OGI/PacSoft may have affected the  
on-going status of this project, but there is a lot there already and  
the principals are still active, if a bit shuffled around.)

   --  Fritz