Omar Inverso, Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 807-812, IEEE, 2015. [doi]
Abstract is missing.