Pages that link to "Item:Q1891157"
From MaRDI portal
The following pages link to A structural induction theorem for processes (Q1891157):
Displaying 20 items.
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← 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)
- Network invariants for real-time systems (Q1019007) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← 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)
- Learning Meets Verification (Q3525110) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- Networks of Processes with Parameterized State Space (Q4921504) (← links)
- Verifying Parameterized taDOM+ Lock Managers (Q5448673) (← links)
- Some Remarks on Definability of Process Graphs (Q5756607) (← links)
- Symbolic model checking with rich assertional languages (Q5941102) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)
