Courses - Fall 2022
CMSC630
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.
Flagship Institution of the University System of Maryland
University of Maryland, College Park, MD 20742, USA
/
Phone:
301.405.1000
Copyright
© 2023 University of Maryland
/
Privacy /
Web Accessibility
Contact us
with comments, questions and feedback
/