Improving Generalization in Software IC3

DOI10.1007/978-3-319-94111-0_5MaRDI QIDQ5883575zbMATH OpenOpenAlexFDO

Authors Martin 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

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

Recommendations

• Conceptual Structures at Work
• An empirical study of ICASE learning curves and probability bounds for software development effort
• Improved generalization via tolerant training
• Extensions to a generalization critic for inductive proof
• scientific article; zbMATH DE number 2040798
• Improved generalization through explicit optimization of margins

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Avoiding exponential explosion: generating compact verification conditions
• Efficient weakest preconditions
• Generalized property directed reachability
• Infinite-state invariant checking with IC3 and predicate abstraction
• SAT-Based Model Checking without Unrolling

Cited in

(3)

• Global guidance for local generalization in model checking
• Software verification with PDR: an implementation of the state of the art
• Generalized property directed reachability

Describes a project that uses

Uses Software

• CIL
• CTIGAR

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

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