Online Enumeration of All Minimal Inductive Validity Cores
type: Item
instance of: scholarly article
title: Online Enumeration of All Minimal Inductive Validity Cores
zbMATH Open document ID: 1509.68158
DOI: 10.1007/978-3-319-92970-5_12
author: Jaroslav Bendík
author: Q6039386
author: Michael W. Whalen
author: I. Černá
published in: Software Engineering and Formal Methods
publication date: 2023-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7682348
zbMATH Keywords: inductive validity cores
zbMATH Keywords: SMT-based model checking
zbMATH Keywords: inductive proofs
zbMATH Keywords: traceability
zbMATH Keywords: proof cores
MaRDI profile type: Publication
full work available at URL: 978-3-319-92970-5 12
OpenAlex ID: W2805599793
Recommended article: Recursive online enumeration of all minimal unsatisfiable subsets
Recommended article: Deciding the Inductive Validity of ∀ ∃ * Queries
Recommended article: Q4942029
Recommended article: Minimality of the correctness criterion for multiplicative proof nets
Recommended article: Checking Sufficient Completeness by Inductive Theorem Proving
Recommended article: The Complexity of Theorem Proving in Circumscription and Minimal Entailment
Recommended article: Efficient Coverability Analysis by Proof Minimization
Recommended article: Q4875117
Recommended article: Finding all minimal safe inductive sets
description: scientific article; zbMATH DE number 7682348