Expressiveness and completeness in abstraction

MaRDI QIDQ4986259zbMATH OpenFDO

Authors Maciej Gazda, T. A. C. Willemse

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1208.2748, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Abstraction and abstraction refinement
• Complete abstractions and subclassical modal logics
• scientific article; zbMATH DE number 1863177
• scientific article; zbMATH DE number 1948410
• Generalized Strong Preservation by Abstract Interpretation

Cited in

(4)

• Complete abstractions and subclassical modal logics
• Abstraction and abstraction refinement
• Expressiveness of concurrent intensionality
• Observational Completeness on Abstract Interpretation

This page was built for publication: Expressiveness and completeness in abstraction

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