Thread-Modular Verification for Shared-Memory Programs

Ensuring the reliability of multithreaded software systems is difficult due to the interaction between threads. This paper describes the design and implementation of a static checker for such systems. To avoid considering all possible thread interleavings, the checker uses assumeguarantee reasoning,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Java Program Language theory and syntactical analysis Model Check Mutual Exclusion Parallel Program Sequential Program Software Software engineering Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!