High-Level Verification by Sudipta Kundu, Sorin Lerner & Rajesh Gupta