Verification

Program verification is the main focus of our group's work. Many of the other projects here are accomplished in support of program verification. We focus on various levels of verification: from lightweight approaches using requirements engineering and high-level specifications, to moderate approaches with unit testing, bug-tracking, and extended static checking, to heavyweight full-program verification.