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

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 2087 - 2099
Main Authors:	Richter, Cedric, Chalupa, Marek, Jakobs, Marie-Christine, Wehrheim, Heike
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.04.2025
Subjects:	Benchmark testing cooperation off-the-shelf tools program splitting Software Software engineering Software reliability Software systems Software verification
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!