Cooperative Software Verification via Dynamic Program Splitting

Cooperative software verification divides the task of software verification among several verification tools in order to increase efficiency and effectiveness. The basic approach is to let verifiers work on different parts of a program and at the end join verification results. While this idea is int...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 2087 - 2099
Hlavní autoři:	Richter, Cedric, Chalupa, Marek, Jakobs, Marie-Christine, Wehrheim, Heike
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 26.04.2025
Témata:	Benchmark testing cooperation off-the-shelf tools program splitting Software Software engineering Software reliability Software systems Software verification
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!