The following pages link to On Reasoning About Rings (Q5696925):
Displayed 32 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- On notions of regularity for data languages (Q846359) (← links)
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← 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)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- On pebble automata for data languages with decidable emptiness problem (Q1959427) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- An approach to the verification of symmetric parameterized distributed systems (Q2498278) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
- Symbolic model checking with rich assertional languages (Q5941102) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)
- Model and program repair via group actions (Q6091216) (← links)