Approximation Refinement for Interpolation-Based Model Checking.

Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening

Browse the full VMCAI paper archive.