Publication
Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, China, Lecture Notes in Computer Science (LNCS), Springer, 2015.