Pages that link to "Item:Q2351261"
From MaRDI portal
The following pages link to Specification and verification of concurrent programs through refinements (Q2351261):
Displaying 26 items.
- A formal system for specification analysis of concurrent programs (Q792086) (← links)
- Adequate proof principles for invariance and liveness properties of concurrent programs (Q795497) (← links)
- Verification of sequential and concurrent programs (Q837527) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- On the role of automated theorem proving in the compile-time derivation of concurrency (Q1819947) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Stepwise refinement and concurrency: The finite-state case (Q2640349) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Specification of parameterized programs -- persistency revisited (Q2765922) (← links)
- Verification of fine-grain concurrent programs (Q2870197) (← links)
- A Coq library for verification of concurrent programs (Q2871836) (← links)
- Verification of parameterized concurrent programs by modular reasoning about data and control (Q2942881) (← links)
- (Q4222919) (← links)
- (Q4494254) (← links)
- (Q4499204) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)
- (Q4934623) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Formal verification of language-based concurrent noninterference (Q5195249) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Robin Milner 1934--2010 (Q5408565) (← links)
- Preface (Q5892007) (← links)
- Distributed Computing (Q5897405) (← links)
- Modular verification for shared-variable concurrent programs (Q6162114) (← links)
