CMSC630

Foundations of Software Verification

Reviews for this courseTestudo

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.

Past Semesters

Rance Cleaveland

0 reviews
Average rating: N/A

Walter Cleaveland

0 reviews
Average rating: N/A

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 3.24 between 72 students*

CMSC630 Grade Distribution+-05101520253035404550556065% of studentsABCDFWother
A-: 13.89%
A: 36.11%
A+: 12.5%
B-: 9.72%
B: 8.33%
B+: 2.78%
C: 2.78%
C+: 1.39%
F: 2.78%
W: 6.94%
other: 2.78%
* "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.