Modular verification of static class invariants
From MaRDI portal
Recommendations
- Class-level modular analysis for object oriented languages
- Verification, Model Checking, and Abstract Interpretation
- Modular invariants for layered object structures
- A case study in class library verification: Java's vector class
- Specification and verification of invariants by exploiting layers in OO designs
Cited in
(18)- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- Class invariants as abstract interpretation of trace semantics
- Semantics, calculi, and analysis for object-oriented specifications
- On assertion-based encapsulation for object invariants and simulations
- On the validation of invariants at runtime
- Class-level modular analysis for object oriented languages
- Friends need a bit more: Maintaining invariants over shared state
- Specification and verification of invariants by exploiting layers in OO designs
- Using History Invariants to Verify Observers
- Programming Languages and Systems
- Verification, Model Checking, and Abstract Interpretation
- A case study in class library verification: Java's vector class
- The concept of class invariant in object-oriented programming
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
- An operational semantics for object-oriented concepts based on the class hierarchy
- Towards imperative modules: reasoning about invariants and sharing of mutable state
This page was built for publication: Modular verification of static class invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716910)
