Making abstract models complete

DOI10.1017/S0960129514000358zbMATH Open1361.68065MaRDI QIDQ5741575FDOQ5741575

Authors: Roberto Giacobazzi, Isabella Mastroeni 

Publication date: 28 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• Making abstract interpretations complete
• Complete abstractions everywhere
• scientific article; zbMATH DE number 1759702
• scientific article; zbMATH DE number 1222407
• On the power of abstract interpretation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Counterexample-guided abstraction refinement for symbolic model checking
• Constructive versions of Tarski's fixed point theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fixpoint-Guided Abstraction Refinements
• Making abstract interpretations complete
• Abstract Interpretation Frameworks
• Refining and compressing abstract domains
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• The closure operators of a lattice
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• A semantics-based approach to malware detection
• Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
• Transforming Abstract Interpretations by Abstract Interpretation

Cited In (14)

• Complete abstractions everywhere
• Title not available (Why is that?)
• Deriving Bisimulations by Simplifying Partitions
• Title not available (Why is that?)
• Making abstract interpretations complete
• Completeness of string analysis for dynamic languages
• Transforming semantics by abstract interpretation
• Compositional characterization of observable program properties
• Analyzing program analyses
• Deciding program properties via complete abstractions on bounded domains
• Complete abstractions and subclassical modal logics
• On the power of abstract interpretation
• Observational completeness on abstract interpretation
• Transforming Abstract Interpretations by Abstract Interpretation

This page was built for publication: Making abstract models complete

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