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.
Version 1.6 last modified by MarcLijour on 06/07/2006 at 10:11
Document data
Attachments:
No attachments for this document
Comments: 0