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...

Full description

Bibliographic Details

Published in:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) pp. 536 - 548
Main Authors:	Beyer, Dirk, Haltermann, Jan, Lemberger, Thomas, Wehrheim, Heike
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.05.2022
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!