Publication
Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: International Journal on Software Tools for Technology Transfer (STTT), 2019.