Drucker, Leonard: Advanced Verification Techniques