Research outputs Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation 2017 DOI: 10.1007/978-3-662-54580-5_26 Type: conference Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 2016 Type: conference 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 Pagination Previous page ‹ Previous Page 1 Current page 2 Page 3 Next page Next ›