Forgot your password?
New user?
Document Actions
supplementary-materials
Up one levelOriginal material from various participants in the panel.
- cxc by Gary T. Leavens — last modified 2005-11-30 13:32
- constructive techniques that lead to verified code, or "correctness by construction" (assuming the specification is right)
- pg by Gary T. Leavens — last modified 2005-11-30 13:33
- generation of verified code, or "program generation"
