Edit and verify

Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental changes to the code. We propose to exploit this usage pattern to improve performance. We present two approaches of how to do so and a full solution.

• Type: Journal
• Year: 2007
• Where: CORR
• Authors: Radu Grigore, Michal Moskal
• Keywords: Automated Theorem Provers, CORR 2007, Education, Performance Bottleneck, Static Checkers