A cooperative parallelization approach for property-directed k-induction

DOI10.1007/978-3-030-39322-9_13OpenAlexW2999604408MaRDI QIDQ784140FDOQ784140

Matteo Marescotti, Natasha Sharygina, Antti E. J. Hyvärinen, Martin Blicha

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_13

Recommendations

• Parallel cooperative propositional theorem proving
• A parallel approach for theorem proving in propositional logic
• A practical parallel algorithm for propositional knowledge base revision
• Parallelizing the closure computation in automated deduction
• A parallelized theorem prover for a logic with parallel execution
• Characterization and parallelization of decision-tree induction
• A taxonomy of parallel strategies for deduction
• Parallelism in deductive inference on graph structures
• Exploiting parallelism in coalgebraic logic programming

zbMATH Keywords

Craig interpolationIC3/PDRlemma sharingparallel model checkingproperty-directed \(k\)-induction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Title not available (Why is that?)
• Distributed bounded model checking
• Information Exchange Between Over- and Underapproximating Software Analyses

This page was built for publication: A cooperative parallelization approach for property-directed \(k\)-induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784140)