Research Projects

Open Source Quality

Thomas A. Henzinger, George Necula, Ras Bodik and Sanjit A. Seshia

This project investigates program analysis, model checking, and theorem proving techniques and tools for assuring software quality: finding and removing defects in software systems, as well as improving current methodology for designing high-quality software systems at the outset.

More information: http://osq.cs.berkeley.edu