Efficient Decision Procedures For Validation by Ofer Strichman