Skip to main content

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution)

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

DOI 10.1007/978-3-662-49674-9_65 dblp BibTeX

Abstract elided by the publisher.

Related papers

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution) TACAS 2014
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution) TACAS 2015
2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023
CSeq: A Sequentialization Tool for C - (Competition Contribution) TACAS 2013
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution) TACAS 2014
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution) TACAS 2017
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution) TACAS 2015
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution) TACAS 2022