Making abstract models complete
From MaRDI portal
Publication:5741575
Recommendations
Cites work
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- A semantics-based approach to malware detection
- Abstract Interpretation Frameworks
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Constructive versions of Tarski's fixed point theorems
- Counterexample-guided abstraction refinement for symbolic model checking
- Fixpoint-Guided Abstraction Refinements
- Making abstract interpretations complete
- Refining and compressing abstract domains
- The closure operators of a lattice
- Transforming Abstract Interpretations by Abstract Interpretation
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
Cited in
(14)- Transforming semantics by abstract interpretation
- Analyzing program analyses
- scientific article; zbMATH DE number 1759702 (Why is no real title available?)
- Making abstract interpretations complete
- Deciding program properties via complete abstractions on bounded domains
- On the power of abstract interpretation
- Complete abstractions everywhere
- Deriving Bisimulations by Simplifying Partitions
- Complete abstractions and subclassical modal logics
- scientific article; zbMATH DE number 1834576 (Why is no real title available?)
- Compositional characterization of observable program properties
- Completeness of string analysis for dynamic languages
- 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)
