Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro
Lazy-CSeq: a lazy sequentialization tool for C
At 20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
05 - 13 Apr 2014.
- Version of Record
Restricted to Repository staff only
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
Actions (login required)