Constraint-Based Verification door Jin Yuan, Adnan Aziz & Carl Pixley