Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
Julio Cesar Lopez Hernandez, Konstantin Korovin · Kalpa publications in computing · 2018
In this paper we present an approach to reasoning with large theories which is based on the abstraction-refinement framework. The proposed approach consists of the following approximations: the over-approximation, the under-approximation, and their combination.