Pages that link to "Item:Q2576590"
From MaRDI portal
The following pages link to Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590):
Displayed 8 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
- A Database Approach to Distributed State Space Generation (Q2866323) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)