A Roadmap for Formal Property Verification