Over-approximation

[Google Scholar]

Papers: ohearn:popl:2019, godefroid:bugs:2005

Also known as “must-style” reasoning.


  • Compositional may-must program analysis: Unleashing the power of alternation [godefroid:popl:2010]
  • Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]