A Mathematical Approach to Design Verification Strategies That Incorporate Corrective Activities as Dedicated Decisions