State merging

[Google Scholar]

Notes: symbolic execution, model checking, symbolic evaluation, case splitting

In symbolic execution, state merging refers to merging paths to avoid path-explosion (which is the Achilles heel of symbolic execution). This moves symbolic execution closer to model checking on the symbolic evaluation spectrum.


Case splitting, Verification performance of code, Verification profiling of code, Verifier performance