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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence