Return to search
Computer Science
Description: Advanced coverage of formal reasoning about programs, including proving properties about programming languages and programs, the formalization of programming language semantics, and mechanizing the verification of program correctness. Letter grade only.
Units: 3
No sections currently offered.
Prerequisite: Graduate status; CS 200 and CS 249 with grades of C or better or equivalent
Computer Science
Term : Spring 2024
Catalog Year : 2023-2024
CS 551 - Advanced Mechanized Reasoning About Programs
Description: Advanced coverage of formal reasoning about programs, including proving properties about programming languages and programs, the formalization of programming language semantics, and mechanizing the verification of program correctness. Letter grade only.
Units: 3
No sections currently offered.
Prerequisite: Graduate status; CS 200 and CS 249 with grades of C or better or equivalent