A cooperative parallelization approach for property-directed \(k\)-induction
type: Item
instance of: scholarly article
title: A cooperative parallelization approach for property-directed \(k\)-induction
DOI: 10.1007/978-3-030-39322-9_13
author: Martin Blicha
author: Antti E. J. Hyvärinen
author: Matteo Marescotti
author: Natasha Sharygina
publication date: 2020-08-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7228511
zbMATH Keywords: parallel model checking
zbMATH Keywords: lemma sharing
zbMATH Keywords: property-directed \(k\)-induction
zbMATH Keywords: IC3/PDR
zbMATH Keywords: Craig interpolation
MaRDI profile type: Publication
full work available at URL: 978-3-030-39322-9 13
OpenAlex ID: W2999604408
Recommended article: Parallel cooperative propositional theorem proving
Recommended article: A parallel approach for theorem proving in propositional logic
Recommended article: A practical parallel algorithm for propositional knowledge base revision
Recommended article: Parallelizing the closure computation in automated deduction
Recommended article: A Parallelized Theorem Prover for a Logic with Parallel Execution
Recommended article: Characterization and parallelization of decision-tree induction
Recommended article: A taxonomy of parallel strategies for deduction
Recommended article: Parallelism in deductive inference on graph structures
Recommended article: Exploiting parallelism in coalgebraic logic programming
description: scientific article; zbMATH DE number 7228511