Combining Predicate Abstraction with Fixpoint Approximations
From MaRDI portal
Publication:4571129
DOI10.1007/978-3-319-41591-8_8zbMATH Open1390.68443OpenAlexW2497982621MaRDI QIDQ4571129FDOQ4571129
Publication date: 6 July 2018
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-41591-8_8
Recommendations
- Predicate Abstraction with Under-approximation Refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- Predicate abstraction in a program logic calculus
- Predicate Abstraction in a Program Logic Calculus
- Abstraction in fixpoint logic
- Predicate abstraction of rewrite theories
- Predicate Abstraction of Programs with Non-linear Computation
- Predicate abstraction for program verification
- Predicate abstraction with minimum predicates
Cites Work
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Property preserving abstractions for the verification of concurrent systems
- Title not available (Why is that?)
- Transition predicate abstraction and fair termination
- Action language verifier: An infinite-state model checker for reactive software specifications
- Title not available (Why is that?)
- Computer Aided Verification
- Title not available (Why is that?)
Cited In (8)
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Tools and Algorithms for the Construction and Analysis of Systems
- Necessary and Sufficient Preconditions via Eager Abstraction
- Predicate Abstraction with Under-approximation Refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- Collecting Semantics under Predicate Abstraction in the K Framework
- Partial predicate abstraction and counter-example guided refinement
- A sound and complete abstraction for reasoning about parallel prefix sums
This page was built for publication: Combining Predicate Abstraction with Fixpoint Approximations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4571129)
