A cooperative parallelization approach for property-directed \(k\)-induction

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (2)

Information Exchange Between Over- and Underapproximating Software Analyses ⋮ Unnamed Item

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