A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Developing provably correct programs is an incremental process that often involves a series of interactions with a program verifier. To increase the responsiveness of the program verifier during such interactions, we designed a system for fine-grained caching of verification results. The caching system uses the program's call graph and controlflow graph to focus the verification effort on just the parts of the program that were affected by the user's most recent modifications. The novelty liesdoi:10.1007/978-3-319-21690-4_22 fatcat:kppunm4xdbf3bmhpx2gdnbrye4