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á bibliografia

Vydané v:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) s. 536 - 548
Hlavní autori:	Beyer, Dirk, Haltermann, Jan, Lemberger, Thomas, Wehrheim, Heike
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.05.2022
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!