Reasoning About Computing Systems: Foundations

Catalog description

Students learn to formally reason about computing systems, including first-order logic, deductive verification, and inductive proofs. Using the verification-aware language, Dafny, students formally reason about sequential programs, concurrency, and hardware design. Additional coursework is required for those enrolled in the graduate-level course.