Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

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

From MaRDI portal
Publication:784140
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:784140&oldid=12713522"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 11:04.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki