Decomposing Software Verification using Distributed Summary Synthesis

There are many approaches for automated software verification, but they are either imprecise, do not scale well to large systems, or do not sufficiently leverage parallelization. This hinders the integration of software model checking into the development process (continuous integration). We propose...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the ACM on software engineering Jg. 1; H. FSE; S. 1307 - 1329
Hauptverfasser:	Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 12.07.2024
Schlagworte:	Computing methodologies Evaluation Formal methods Formal software verification General and reference Parallel algorithms Program reasoning Software and its engineering Theory of computation Verification by model checking Formal Verification Program Analysis Block Summaries Contract Synthesis Decomposition Strategies Multi-process Model Checking Parallelization Software Model Checking
ISSN:	2994-970X, 2994-970X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!