1 paper
Radu Grigore, Michał Moskal
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 t…