Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.

Kairong Qian, Albert Nymeyer

Browse the full TACAS paper archive.