Verifier performance

[Google Scholar]

Notes: verification profiling, verification performance, symbolic evaluation, bounded model checking, symbolic execution, state merging, case splitting, Rosette solver, KLEE verifier
Papers: wagner:hotos:2013, siddiqui:oopsla:2012, qiu:icse:2017, qiu:nfm:2018, trabish:icse:2018, goodman:ndss:2018

Optimizations used in automatic verification tools. (For any optimizations that require manual annotation, see verification performance.)


Swarm verification, Verification performance of code, Verification profiling of code