Constraint-Based Verification by