Pages that link to "Item:Q1115609"

The following pages link to Proving properties of a ring of finite-state machines (Q1115609):

Displaying 16 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)
• Synthesis of distributed agreement-based systems with efficiently-decidable verification (Q6536135) (← links)