Modular specification and verification of object-oriented programs
From MaRDI portal
Recommendations
- Modular specification and verification of object-oriented programs
- Modular specification of frame properties in JML
- Specification and verification of object-oriented programs using supertype abstraction
- Modular invariants for layered object structures
- Verification of object-oriented programs: a transformational approach
Cited in
(17)- Modular Specification of Encapsulated Object-Oriented Components
- Programming Languages and Systems
- Specification and verification of invariants by exploiting layers in OO designs
- scientific article; zbMATH DE number 1487634 (Why is no real title available?)
- Modular software fault isolation as abstract interpretation
- scientific article; zbMATH DE number 860045 (Why is no real title available?)
- Verification of object-oriented programs: a transformational approach
- Specification and verification of object-oriented programs using supertype abstraction
- Modular specification and verification of object-oriented programs
- Verifying traits: an incremental proof system for fine-grained reuse
- Modular structuring of VDM specifications in VVSL
- Object-oriented modelling and specification using SHE
- Hoare logic for Java in Isabelle/HOL
- Enhancing modular OO verification with separation logic
- Specification and verification challenges for sequential object-oriented programs
- scientific article; zbMATH DE number 177256 (Why is no real title available?)
- Modular specification of frame properties in JML
This page was built for publication: Modular specification and verification of object-oriented programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2744196)
