The following pages link to (Q2723423):
Displaying 31 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)
- Specification and encoding of transaction interaction properties (Q453491) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols (Q968361) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Incremental design-space model checking via reusable reachable state approximations (Q2149964) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Verification of parametric concurrent systems with prioritised FIFO resource management (Q2481584) (← links)
- An approach to the verification of symmetric parameterized distributed systems (Q2498278) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- Compositional CSP Traces Refinement Checking (Q5178982) (← links)
- Verifying Parameterized taDOM+ Lock Managers (Q5448673) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
- A case study on parametric verification of failure detectors (Q5883746) (← links)
