Pages that link to "Item:Q3067528"
From MaRDI portal
The following pages link to Formal Verification of Object-Oriented Software (Q3067528):
Displayed 13 items.
- From a Proven Correct Microkernel to Trustworthy Large Systems (Q3067529) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas (Q3067537) (← links)
- Sawja: Static Analysis Workshop for Java (Q3067538) (← links)
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
- Specifying Imperative ML-Like Programs Using Dynamic Logic (Q3067541) (← links)
- Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- A Dynamic Logic for Unstructured Programs with Embedded Assertions (Q3067545) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)