Publication:4779119
From MaRDI portal
zbMath1005.68099MaRDI QIDQ4779119
Roberto Giacobazzi, Elisa Quintarelli
Publication date: 24 November 2002
verification; completeness; model-checking; program analysis; abstract interpretation; domain refinement
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Semantics-based software watermarking by abstract interpretation, What You Lose is What You Leak: Information Leakage in Declassification Policies, Extracting Program Logics From Abstract Interpretations Defined by Logical Relations, Deriving Bisimulations by Simplifying Partitions, Internal and External Logics of Abstract Interpretations, Observational Completeness on Abstract Interpretation, Inverse-limit and topological aspects of abstract interpretation, Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation, Maximal incompleteness as obfuscation potency, Generalizing the Paige-Tarjan algorithm by abstract interpretation, 3-valued abstraction: More precision at less cost, An efficient simulation algorithm based on abstract interpretation, Code obfuscation against abstraction refinement attacks, Lattice-based refinement in bounded model checking, Correctness kernels of abstract interpretations, Incompleteness of states w.r.t. traces in model checking, A semantic framework for the abstract model checking of tccp programs, Abstract Interpretation From a Denotational-semantics Perspective, Complete Abstractions and Subclassical Modal Logics, Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation, Refinement of Trace Abstraction, Abstract Interpretation from a Topological Perspective, Transforming Abstract Interpretations by Abstract Interpretation