A Roadmap For Formal Property Verification by Pallab Dasgupta