Pages that link to "Item:Q5960651"

The following pages link to Modular specification and verification of object-oriented programs (Q5960651):

Displaying 17 items.

• Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
• Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
• Observational purity and encapsulation (Q882452) (← links)
• Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
• Automatic verification of Java programs with dynamic frames (Q973055) (← links)
• Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
• Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
• Confinement framework for encapsulating objects (Q2418639) (← links)
• A proof outline logic for object-oriented programming (Q2571207) (← links)
• On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
• Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
• Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)
• CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
• ProMoVer: Modular Verification of Temporal Safety Properties (Q3095249) (← links)
• WP Semantics and Behavioral Subtyping (Q3105750) (← links)
• Universe Types for Topology and Encapsulation (Q3602996) (← links)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)