The following pages link to CONCUR 2004 - Concurrency Theory (Q5311479):
Displaying 14 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- (Q5089313) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
