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, CMSC498L, CMSC498N, CMSC498O, CMSC498P, CMSC498Q, CMSC498R, CMSC498T, CMSC498V, CMSC498W, CMSC498X, CMSC498Y, CMSC498Z
Past Semesters
11 reviews
Average rating:
4.09
0 reviews
Average rating:
N/A