Optimizations of code to make it easier to verify. (For optimizations performed automatically by an automatic verification tools, see verifier performance.)

• case splitting
  • goodman:ndss:2018
• Parallelism
  • siddiqui:oopsla:2012
  • Swarm verification
    • holzmann:ieeetse:2011
    • goodman:ndss:2018
• state merging
• lazy symbolic execution
  • [trabish:icse:2018]

Notes related to Verification performance of code

Swarm verification, Verification profiling of code, Verifier performance

Papers related to Verification performance of code

• Finding code that explodes under symbolic evaluation [bornholt:oopsla:2018]
• Evaluating manual intervention to address the challenges of bug finding with KLEE [galea:arxiv:2018]
• DeepState: Symbolic unit testing for C and C++ [goodman:ndss:2018]
• Swarm verification techniques [holzmann:ieeetse:2011]
• Chopped symbolic execution [trabish:icse:2018]