DOI10.1145/325694.325699zbMath1323.68367OpenAlexW2108959714MaRDI QIDQ5178838
Patrick Cousot, Radhia Cousot
Publication date: 17 March 2015
Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/325694.325699
Abstraction and Abstraction Refinement,
On collecting semantics for program analysis,
A state/event-based model-checking approach for the analysis of abstract system properties,
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs,
Inverse-limit and topological aspects of abstract interpretation,
Towards the Verification of Attributed Graph Transformation Systems,
Fixpoint theory -- upside down,
Calculational design of a regular model checker by abstract interpretation,
On model checking multiple hybrid views,
Model-Checking View-Based Partial Specifications,
Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.,
Incompleteness of states w.r.t. traces in model checking,
Unnamed Item,
Partial model checking via abstract interpretation,
Internal and External Logics of Abstract Interpretations,
Abstract Interpretation From a Denotational-semantics Perspective,
Constructive Galois Connections,
Observational Completeness on Abstract Interpretation,
Parsing as abstract interpretation of grammar semantics,
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations,
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
