Abstraction-Based Model Checking Using Heuristical Refinement.

Kairong Qian, Albert Nymeyer

Browse the full ATVA paper archive.