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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Dec 14 12:27:07 EST 2006

On Dec 14, 2006, at 9:53 AM, Paulo J. Matos wrote:

> Hello all,
> I would like some insight and references from the people in the Scheme
> Research world on work done regarding software verification in Scheme
> with Formal or Semi formal methods. For example, for
> property/assertion verification, verification of program correctness a
> posteriori and generation of scheme code from formal specifications,
> be it in B, Z or Alloy.

You may wish to read up on Robby Findler's contract work
or Dale Vaillancourt's Dracula plug-in for DrScheme

-- Matthias

Posted on the users mailing list.