The following pages link to (Q4484481):
Displaying 7 items.
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Parameterized verification of linear networks using automata as invariants (Q1974479) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- Computer Science Logic (Q5311265) (← links)