CMSC498G

Selected Topics in Computer Science; Principles of Software Verification

Or must be in the (Computer Science (Doctoral), Computer Science (Master's)) program. Introduces techniques for rigorously establishing that software behaves correctly. Topics to be covered include: preconditions and postconditions; loop invariants; contract-based specifications; techniques for proving programs correct; state-machine based system design; temporal logic; and model checking.

Sister Courses: CMSC498A, CMSC498B, CMSC498C, CMSC498D, CMSC498E, CMSC498F, CMSC498I, CMSC498J, CMSC498K, CMSC498L, CMSC498N, CMSC498O, CMSC498P, CMSC498Q, CMSC498R, CMSC498T, CMSC498V, CMSC498W, CMSC498X, CMSC498Y, CMSC498Z

Spring 2026

Michelle Mazurek

0 reviews
Average rating: N/A

Spring 2025

Michelle Mazurek

0 reviews
Average rating: N/A

Past Semesters

James Reggia

0 reviews
Average rating: N/A

Walter Cleaveland

0 reviews
Average rating: N/A

Include P/F semesters During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.

Average GPA of 2.35 between 15 students*

A: 20%

A+: 6.67%

B: 6.67%

B+: 13.33%

C-: 6.67%

C+: 20%

D: 6.67%

F: 13.33%

W: 6.67%

* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.