Hide Advanced Options
Courses - Fall 2022
Computer Science Department Site
Foundations of Software Verification
Credits: 3
Grad Meth: Reg, Aud, S-F
Prerequisite: CMSC330; or students who have taken courses with comparable content may contact the department; or permission of instructor.
Topics in program verification. Operational semantics of programs. Preconditions and postconditions. Axiomatic proof systems and predicate transformers. Temporal logic and model checking. Process algebra, semantic equivalences and algebraic reasoning.