Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.

Bing Li, Fabio Somenzi

Browse the full TACAS paper archive.