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žené v:

Podrobná bibliografia
Vydané v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 1307 - 1329
Hlavní autori:	Beyer, Dirk, Kettl, Matthias, Lemberger, Thomas
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 12.07.2024
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!