An Abstraction-Refinement Framework for Reasoning with Large Theories.

Julio Csar Lpez-Hernndez, Konstantin Korovin

Browse the full CADE paper archive.