Forgot your password?
New user?
Document Actions
cxc
Up one levelconstructive techniques that lead to verified code, or "correctness by construction" (assuming the specification is
right)
- Formal Method Course Introduction by Gary T. Leavens — last modified 2005-12-14 22:30
- A draft introduction to a course on formal methods by J.-R. Abrial. This is intended to give others an idea of what his approach is.
- Opinions on Verification-by-Construction by Michael Butler — last modified 2005-12-19 08:33
- An opinion piece by Michael Butler on verification by construction. Comments solicited.
- Specified Blocks by Gary T. Leavens — last modified 2006-03-05 11:19
- Eric Hehner's position paper from the VSTTE conference
