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

Celý popis

Podrobná bibliografie

Vydáno v:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) s. 536 - 548
Hlavní autoři:	Beyer, Dirk, Haltermann, Jan, Lemberger, Thomas, Wehrheim, Heike
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.05.2022
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!