Pages that link to "Item:Q3190112"
From MaRDI portal
The following pages link to Parameterized Model Checking of Rendezvous Systems (Q3190112):
Displaying 10 items.
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- A methodology to take credit for high-level verification during RTL verification (Q1696592) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- Model checking parameterized asynchronous shared-memory systems (Q5892422) (← links)