Improving Generalization in Software IC3

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

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• SAT-Based Model Checking without Unrolling
• Infinite-state invariant checking with IC3 and predicate abstraction
• Generalized property directed reachability
• Title not available (Why is that?)
• Efficient weakest preconditions
• Avoiding exponential explosion: generating compact verification conditions

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

Uses Software

• CTIGAR
• CIL

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)