CA648 - Formal Programming
[
Introduction
] [ Notes ] [
Practicals
] [
Course Work
] [
End of Year Exam
] [
Links
]
Notes
1. Introduction
2. Formal Specification
3. Partial Correctness
4. Verification
5. Total Correctness
6. Refinement
