Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

2008 Research Summary

Open Source Quality

View Current Project Information

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.