A roadmap for formal property verification - DasGupta, Pallab