KRM Leino,
V Wüstholz - … : 27th International Conference, CAV 2015, San …, 2015 - Springer
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 …