A Modular Program-Transformation Framework for Reducing Specifications to Reachability

Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld +2

Software verification is a complex problem, and verification tools need significant tuning to achieve high performance. Due to this, many verifiers choose to specialize on reachabi…