COMP 507
COMPUTER-AIDED PROGRAM DESIGN
This course is a graduate-level introduction to computer-aided program design, a field that studies logical and algorithmic techniques for formally verifying programs, and mechanized derivation of programs that are correct by construction. Topics covered will include classical automated program verification in particular abstract interpretation and model checking - as well as recent developments in algorithmic program synthesis.
Prerequisites & course information
Short Title: COMPUTER-AIDED PROGRAM DESIGN Department: Computer Science Grade Mode: Standard Letter Course Type: Lecture Credit Hours: 4 Restrictions: Enrollment is limited to Graduate level students. Course Level: Graduate Prerequisite(s): (COMP 482 or ELEC 420 ) or COMP 481
Sources
- Course catalogue ↗2026–2027