Pages that link to "Item:Q921983"

The following pages link to Reasoning about networks with many identical finite state processes (Q921983):

Displaying 29 items.

• Parameterised verification for multi-agent systems (Q253980) (← links)
• On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
• Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
• Parametrized invariance for infinite state processes (Q493122) (← links)
• Deciding bisimulation and trace equivalences for systems with many identical processes (Q672063) (← links)
• Priority systems with many identical processes (Q758201) (← links)
• An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
• Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
• Automatic verification of a class of systolic circuits (Q1189257) (← links)
• Parameterized model checking of rendezvous systems (Q1635829) (← links)
• Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
• Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
• Parameterized model checking on the TSO weak memory model (Q2208293) (← links)
• Model checking transactional memories (Q2377134) (← links)
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
• Checking extended CTL properties using guarded quotient structures (Q2461558) (← links)
• Deadlock analysis in networks of communicating processes (Q2638755) (← links)
• Verification of component-based systems with recursive architectures (Q2699967) (← links)
• Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
• Model Checking Parameterized Systems (Q3176379) (← links)
• The Birth of Model Checking (Q3512430) (← links)
• Networks of Processes with Parameterized State Space (Q4921504) (← links)
• Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
• Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
• Automatic verification for a class of distributed systems (Q5137900) (← 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)
• On Reasoning About Rings (Q5696925) (← links)
• Symbolic model checking with rich assertional languages (Q5941102) (← links)