Position

• Software quality is inversely proportional to potential verification effort (PVE) for establishing local correctness.

1. It is possible to design to minimize the PVE.

2. Lower PVE improves conventional software engineering metrics.

3. Metrics for accurately measuring PVE are likely to be different from conventional SE metrics.