Constraint-Based Verification door