Research outputs Embedding weak memory models within eager sequentialization 2016 Type: report Lazy sequentialization for the safety verification of unbounded concurrent programs 2016 DOI: 10.1007/978-3-319-46520-3_12 Type: conference MU-CSeq 0.4: individual memory location unwindings: (competition contribution) 2016 Type: conference Separating computation from communication: a design approach for concurrent program verification 2016 Type: report Lazy-CSeq 1.0 2015 Type: report Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C with unboundedly many Context Switches: (Competition Contribution) 2015 Type: report Unbounded Lazy-CSeq: a lazy sequentialization tool for C programs with unbounded context switches (competition contribution) 2015 Type: conference Pagination Previous page ‹ Previous Page 1 Page 2 Page 3 Next page Next ›