Return to search
Computer Science
Description: Introduction to 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. Co-convened with CS 551. Letter grade only.
Units: 3
No sections currently offered.
Prerequisite: CS 200 and CS 249 with a grade of C or better
Computer Science
Term : Summer 2023
Catalog Year : 2022-2023
CS 451 - Mechanized Reasoning About Programs
Description: Introduction to 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. Co-convened with CS 551. Letter grade only.
Units: 3
No sections currently offered.
Prerequisite: CS 200 and CS 249 with a grade of C or better