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 of Software Tools for Technology Transfer (STTT) 2019.

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