Pages that link to "Item:Q2643131"
From MaRDI portal
The following pages link to Specification and verification challenges for sequential object-oriented programs (Q2643131):
Displaying 18 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)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- The sequence modeling method based on ECC in developing program specifications (Q1964365) (← links)
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442) (← links)
- The C\#-light project: solutions of some verification challenges (Q2882991) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Tendencies in verifying object-oriented software (Q2914589) (← 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)
- Formal Methods for Components and Objects (Q5311299) (← links)
