Improving Generalization in Software IC3

DOI10.1007/978-3-319-94111-0_5OpenAlexW2808324811MaRDI QIDQ5883575

Unnamed Author, Unnamed Author, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen

Publication date: 21 March 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-94111-0_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Software Verification with PDR: An Implementation of the State of the Art

Uses Software

• CTIGAR
• CIL

Cites Work

• Unnamed Item
• Unnamed Item
• Efficient weakest preconditions
• Infinite-state invariant checking with IC3 and predicate abstraction
• Generalized Property Directed Reachability
• SAT-Based Model Checking without Unrolling
• Avoiding exponential explosion

This page was built for publication: Improving Generalization in Software IC3