Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro
Lazy-CSeq: a lazy sequentialization tool for c (competition contribution)
At Tools and Algorithms for the Construction and Analysis of Systems - TACAS (SV-COMP).
We describe a version of the lazy sequentialization schema by La Torre, Madhusudan, and Parlato that is optimized for bounded programs, and avoids the re-computation of the local state of each process at each context switch. Lazy-CSeq implements this sequentialization schema for sequentially consistent C programs using POSIX threads. Experiments show that it is very competitive.
Conference or Workshop Item
|Venue - Dates:
||Tools and Algorithms for the Construction and Analysis of Systems - TACAS (SV-COMP), 2014-04-10
||Electronic & Software Systems
|10 April 2014||Published|
||01 Apr 2014 16:35
||23 Feb 2017 00:53
|Further Information:||Google Scholar|
Actions (login required)