Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction

@article{pub10172,
    author = {

Herdt, Vladimir
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction},
    year = {2019},
    journal = {International Journal on Software Tools for Technology Transfer (STTT)}
}