Pages that link to "Item:Q2643131"

The following pages link to Specification and verification challenges for sequential object-oriented programs (Q2643131):

Displaying 12 items.

• JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
• Verification conditions for source-level imperative programs (Q465685) (← links)
• Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
• Lazy behavioral subtyping (Q710675) (← links)
• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• Automatic verification of Java programs with dynamic frames (Q973055) (← links)
• Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442) (← links)
• An overview of Ciao and its design philosophy (Q2893101) (← links)
• Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
• A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
• A Machine Checked Soundness Proof for an Intermediate Verification Language (Q3599104) (← links)
• Practical run-time checking via unobtrusive property caching (Q4593012) (← links)