[plt-scheme] Re: Regarding research on formal methods and verification of software in Scheme

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Thu Dec 14 11:21:50 EST 2006

One of the few efforts I know along these lines is the work
by Licata and me:

Verifying Interactive Web Programs
Daniel R. Licata, Shriram Krishnamurthi
IEEE International Symposium on Automated Software Engineering, 2004


Posted on the users mailing list.