Reliable Software Systems Design: Defect Prevention, Detection, and Containment

The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help to reduce the number of residual defects in software products.