Formal Methods #120
Description
Course code, if applicable: COMP4000
University hosting the course: Macquarie University
Contact person: Annabelle McIver, [email protected]
Concepts taught: Formal Specification, Validation, Logic, Model Checking, SAT, Temporal Logic, Automata-Based Modelling, Software Verification, Program Correctness.
Tools used: Dafny, nuXMV
Webpage: https://unitguides.mq.edu.au/unit_offerings/160184/unit_guide
Year/Level: 3
Reviewed: 2025/06/25