An abstraction-refinement framework for reasoning with large theories
type: Item
instance of: scholarly article
title: An abstraction-refinement framework for reasoning with large theories
DOI: 10.1007/978-3-319-94205-6_43
author: Julio Cesar Lopez Hernandez
author: Konstantin Korovin
publication date: 2018-10-18T00:00:00Z
full work available at URL: abstr ref ijcar 2018.pdf
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6958129
zbMATH Keywords: automated reasoning
zbMATH Keywords: large theories
zbMATH Keywords: abstraction refinement
describes a project that uses: CakeML
describes a project that uses: LEO-II
describes a project that uses: VAMPIRE
describes a project that uses: HOL Light
describes a project that uses: MaLARea
describes a project that uses: TPTP
describes a project that uses: Sledgehammer
describes a project that uses: iProver
describes a project that uses: HOLyHammer
describes a project that uses: SRASS
MaRDI profile type: Publication
OpenAlex ID: W2809879880
description: scientific article; zbMATH DE number 6958129