Step 0: Ad-Hoc Testing     Step 1: Requirements Traceability     Step 2: Modeling Standards     Step 3: Detecting Design Errors     Step 4: Testing by Simulation    

Step 5: Test Case Generation     Step 6: Code Verification     Step 7: Property Proving     Step 8: Summary