Concurrent Program Verification with Lazy Sequentialization and Interval Analysis

Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. In Amr El Abbadi, BenoƮt Garbinato, editors, Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Volume 10299 of Lecture Notes in Computer Science, pages 255-271, 2017. [doi]

Abstract

Abstract is missing.