Pages that link to "Item:Q837527"
From MaRDI portal
The following pages link to Verification of sequential and concurrent programs (Q837527):
Displaying 32 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Correctness and concurrent complexity of the black-white bakery algorithm (Q736464) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Tournaments for mutual exclusion: verification and concurrent complexity (Q1682286) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- A Hoare Logic for SIMT Programs (Q2937782) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Being and Change: Reasoning About Invariance (Q3449632) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
