Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Abstract

Techniques for software verification are typically realized as cohesive units of software with tightly coupled components. This makes it difficult to re-use components, and the potential for workload distribution is limited. Innovations in software verification might find their way into practice faster if provided in smaller, more specialized components.

BibTeX

@inproceedings{Beyer-al:ICSE22,
  author    = {Dirk Beyer and
               Jan Haltermann and
               Thomas Lemberger and
               Heike Wehrheim},
  title     = {Decomposing Software Verification into {Off-the-Shelf} Components: An Application to {CEGAR}},
  booktitle = {ICSE},
  pages     = {536--548},
  publisher = {{ACM}},
  year      = {2022},
}

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR

Abstract

Related papers