I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Thread-Modular Counterexample-Guided Abstraction Refinement


Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko. Thread-modular counterexample-guided abstraction refinement. In Cousot and Martel, pages 356–372.

Suggested BibTeX entry:

    author = {Alexander Malkis and Andreas Podelski and Andrey Rybalchenko},
    booktitle = {SAS},
    editor = {Radhia Cousot and Matthieu Martel},
    pages = {356-372},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Thread-Modular Counterexample-Guided Abstraction Refinement},
    volume = {6337},
    year = {2010}

This work is not available online here.