AVR: Abstractly Verifying Reachability.

Aman Goel, Karem A. Sakallah

Browse the full TACAS paper archive.