scientific article; zbMATH DE number 1953281

MaRDI QIDQ4414733zbMATH OpenFDO

Authors David A. Schmidt

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660245.htm

Mathematics Subject Classification ID

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

Recommendations

• Safety of abstract interpretations for free, via logical relations and Galois connections
• Extracting program logics from abstract interpretations defined by logical relations
• Programming Languages and Systems
• Abstraction and abstraction refinement
• Abstract Interpretation, Logical Relations, and Kan Extensions

Cited in

(5)

• An abstract interpretation toolkit for \(\mu\)CRL
• On finite-state approximants for probabilistic computation tree logic
• Regularity of relations: A measure of uniformity
• Compositional characterization of observable program properties
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication:

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