A cooperative parallelization approach for property-directed k-induction

DOI10.1007/978-3-030-39322-9_13MaRDI QIDQ784140zbMATH OpenOpenAlexFDO

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

Publication date 5 August 2020

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

• scientific article; zbMATH DE number 7453201 (Why is no real title available?)
• 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)