Open Source Quality (OSQ)

Open Source Quality (OSQ)

Home page: http://osq.cs.berkeley.edu/

Overview

Berkeley University active project with a distinct objective techniques and tools for assuring software quality:

• Find and remove defects
• Improve design methodology

• formal verification and theorem proving
• model checking
• large-scale software analysis

Software

Tools and projects are available.