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; and Computer Science MS Milestone
Computer Science
Term : Winter 2025
Catalog Year : 2025-2026
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; and Computer Science MS Milestone