Download PDFOpen PDF in browserTowards an Abstraction-Refinement Framework for Reasoning with Large Theories5 pages•Published: June 4, 2017AbstractIn 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. In: Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors). IWIL Workshop and LPAR Short Presentations, vol 1, pages 119-123.
|