Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules

@inproceedings{pub7898,
    author = {

Herdt, Vladimir
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules},
    booktitle = {Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, China},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2015},
    publisher = {Springer}
}