Trends and Challenges in Algorithmic Software Verification

Rajeev Alur

Abstract: Recent years have witnessed remarkable progress in principles and tools for automated software verification. In this position paper, I briefly discuss the relevant projects in my group, and outline some near-term challenges for the community as concrete milestones for measuring progress.