Abigail <[EMAIL PROTECTED]> writes: > Hi, > I have been searching papers about tha raltionship > between formal methods in software engineering and > functinal programmming, but i haven't found enough > information.
I don't think there are any papers, but Galois Connections employs Haskell and formal methods such as proof checkers in our work. You might email for more information: http://www.galois.com/ peace, isaac _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe