Decomposing software verification into off-the-shelf components
Dirk Beyer, Jan Haltermann, Thomas R. Lemberger, Heike Wehrheim
2022Proceedings of the 44th International Conference on Software Engineering18 citationsDOIOpen Access PDF
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.
Topics & Concepts
Computer scienceSoftware verificationVerification and validationSoftwareWorkloadSoftware constructionOff the shelfComponent-based software engineeringSoftware sizingSoftware measurementSoftware engineeringSoftware developmentOperating systemEngineeringOperations managementSoftware Testing and Debugging TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research