Pages that link to "Item:Q1115609"
From MaRDI portal
The following pages link to Proving properties of a ring of finite-state machines (Q1115609):
Displaying 15 items.
- Parametrized invariance for infinite state processes (Q493122) (← links)
- An experience in proving regular networks of processes by modular model checking (Q1323369) (← links)
- Fair Petri nets and structural induction for rings of processes (Q1346633) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)
- (Q5856427) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)