CPU logo

Software Correctness Seminar covers major developments in formal verification, program analysis, and synthesis. We meet every Friday at 11:00 in MEB 3515. Join the mailing list for email updates.

Proposed Topics: Concolic execution; Derek Dreyer’s GPS; Formal Verification of OS components; Automatic repair of Regular Expressions

Previous Interations: Spring 2009