Trends in Software Verification

With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As aresult, we are witnessing a shift in emphasis from the verification of abstract hand-built models of code, towards the direct verification of implementation levelcode. This change in emphasis poses a newset of challenges in software verification. Weexplore some of them in this paper