« earlier | later » Page 1 of 1

Bill Roscoe - Home Page edit / delete

to concurrency formal-methods occam publications ... on 08 May 2010

ACL2 in DrScheme edit / delete

A theorem prover.

to formal-methods research scheme ... on 11 March 2006

The Compcert certified compiler back-end edit / delete

A compiler that has been proved correct (in CoQ).

to compiler formal-methods research ... on 04 February 2006

« earlier | later » Page 1 of 1

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to formal-methods

- formal-methods
 
1 + compiler
1 + concurrency
1 + occam
1 + publications
2 + research
1 + scheme