Model checking with multi-threaded IC3 portfolios

DOI10.1007/978-3-662-49122-5_25MaRDI QIDQ2796075zbMATH OpenOpenAlexFDO

Authors Sagar Chaki, Derrick Karimi

Publication date 23 March 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_25

Mathematics Subject Classification ID

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

Recommendations

• SAT solver management strategies in IC3: an experimental approach
• Understanding IC3
• scientific article; zbMATH DE number 1982207
• ManySAT: a parallel SAT solver
• Parallel Explicit Model Checking for Generalized Büchi Automata

Cited in

(2)

• Distributed bounded model checking
• SAT solver management strategies in IC3: an experimental approach

This page was built for publication: Model checking with multi-threaded IC3 portfolios

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