CMSC630

Foundations of Software Verification

Reviews for this course Testudo

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

Walter Cleaveland

0 reviews
Average rating: N/A

Rance Cleaveland

5 reviews
Average rating: 2.40

* "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.