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

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.

Regards,

-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK