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

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Thu Dec 14 11:03:44 EST 2006

On 12/14/06, Paulo J. Matos <pocm at soton.ac.uk> 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.
>

Now that I'm thinking about it, this post is a bit OT the list since
it has really nothing to do about PLT-Scheme. Hope I don't hurt
anyones feelings. Really sorry. Still, it is the most active and nice
community I know on Scheme. :)

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


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


Posted on the users mailing list.