Property directed abstract interpretation

DOI10.1007/978-3-662-49122-5_5MaRDI QIDQ2796039zbMATH OpenOpenAlexFDO

Authors Noam Rinetzky, Sharon Shoham

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_5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Software verification with PDR: an implementation of the state of the art
• Generalized property directed reachability
• Property directed polyhedral abstraction
• A Forward-Backward Abstraction Refinement Algorithm
• Model checking of safety properties

Cited in

(14)

• Property-directed inference of universal invariants or proving their absence
• \textsf{PrIC3}: property directed reachability for MDPs
• Generalized property directed reachability
• An abstract interpretation-based model for safety semantics
• Property-directed inference of universal invariants or proving their absence
• scientific article; zbMATH DE number 1953022 (Why is no real title available?)
• Software verification with PDR: an implementation of the state of the art
• Property directed polyhedral abstraction
• Property-Driven Partitioning for Abstraction Refinement
• Abstract interpretation of CTL properties
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis
• Exploiting adjoints in property directed reachability analysis
• Searching for i-good lemmas to accelerate safety model checking
• Generalized property-directed reachability for hybrid systems

This page was built for publication: Property directed abstract interpretation

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