Decomposing software verification into off-the-shelf components
Dirk Beyer, Jan Haltermann, Thomas R. Lemberger, Heike Wehrheim · Proceedings of the 44th International Conference on Software Engineering · 2022
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.