The following pages link to FM 2005: Formal Methods (Q5716910):
Displaying 9 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- On the validation of invariants at runtime (Q2843823) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901910) (← links)
- A case study in class library verification: Java's vector class (Q5953451) (← links)
