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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the ACM on software engineering Vol. 1; no. FSE; pp. 1307 - 1329
Main Authors:	Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 12.07.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!