Transition-Based Directed Model Checking.

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski

Browse the full TACAS paper archive.