Class notes
Lecture notes Formal Approaches to Software Engineering (SET10112/SET10412)
- Course
- Institution
Lecture notes Formal Approaches to Software Engineering (SET10112/SET10412) Formal Methods Formal Specification Languages (e.g., Z, B, VDM, Alloy, TLA+) Model Checking Theorem Proving Software Verification and Validation Correctness by Construction Design by Contract Abstract Data Types T...
[Show more]