Pages that link to "Item:Q5902541"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902541):
Displaying 14 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- A sound and complete Hoare logic for dynamically-typed, object-oriented programs (Q2026792) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A program logic for resources (Q2463560) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
- Verification: Theory and Practice (Q5305637) (← links)
- Formal Methods for Components and Objects (Q5311301) (← links)
- Algebraic Methodology and Software Technology (Q5312996) (← links)