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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 1307 - 1329
Hlavní autoři:	Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 12.07.2024
Témata:	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
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!

Buďte první, kdo okomentuje tento záznam!