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

Vydané v:	Proceedings / International Conference on Software Engineering s. 2087 - 2099
Hlavní autori:	Richter, Cedric, Chalupa, Marek, Jakobs, Marie-Christine, Wehrheim, Heike
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 26.04.2025
Predmet:	Benchmark testing cooperation off-the-shelf tools program splitting Software Software engineering Software reliability Software systems Software verification
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!