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

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Thu Dec 14 09:53:07 EST 2006

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.


Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.