MFP
| Formal Methods in Software Engineering |
|---|
| Information Systems by Calculation |
| Cyber-Physical Programming |
| Formal Verification |
| Formal Methods Project |
| Past editions |
| Calendar |
| Alumni |
CSI/2627
Bibliography
Main
- J.N. Oliveira. Program Design by Calculation, Departamento de Informática, Universidade do Minho. Textbook in preparation (current version: Sept. 2026). Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).
Auxiliary
- D. Jackson. Software abstractions: logic, language, and analysis. Revised edition, MIT Press, 2012.
- C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)