Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules.

Vladimir Herdt, Hoang Minh Le, Daniel Groe, Rolf Drechsler

Browse the full ATVA paper archive.