COMP 507 - COMPUTER-AIDED PROGRAM DESIGN
Long Title: COMPUTER-AIDED PROGRAM DESIGN
Department: Computer Science
Grade Mode: Standard Letter
Language of Instruction: Taught in English
Course Type: Lecture
Credit Hours: 4
Restrictions: Must be enrolled in one of the following Level(s):
Graduate
Prerequisite(s): (COMP 482 OR ELEC 420) OR COMP 481
Description: 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.