Pages that link to "Item:Q3067528"

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)