Carl Pixley

• Constraint-based verification