Correctness kernels of abstract interpretations

DOI10.1016/j.ic.2014.02.003zbMath1360.68363OpenAlexW1968011359MaRDI QIDQ2252528

Roberto Giacobazzi, Francesco Ranzato

Publication date: 18 July 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.02.003

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)

Reachability analysis for timed automata using max-plus algebra

Uses Software

• SLAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal domains for disjunctive abstract interpretation
• Generalized Strong Preservation by Abstract Interpretation
• Counterexample-guided abstraction refinement for symbolic model checking
• Transforming Abstract Interpretations by Abstract Interpretation
• Example-Guided Abstraction Simplification
• Fixpoint-Guided Abstraction Refinements
• Refining and compressing abstract domains
• Programming Languages and Systems
• Making abstract interpretations complete
• A Forward-Backward Abstraction Refinement Algorithm

This page was built for publication: Correctness kernels of abstract interpretations