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

Techniques for software verification are typically realized as cohesive units of software with tightly coupled components. This makes it difficult to reuse components, and the potential for workload distribution is limited. Innovations in software verification might find their way into practice fast...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) S. 536 - 548
Hauptverfasser:	Beyer, Dirk, Haltermann, Jan, Lemberger, Thomas, Wehrheim, Heike
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.05.2022
Schlagworte:	Abstraction refine-ment CEGAR Complexity theory Computational modeling Computer science Cooperative verification Decomposition Feeds Software Software engineering Software verification Technological innovation Time factors
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!