The following pages link to (Q4472243):
Displayed 7 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Finding cut-offs in leaderless rendez-vous protocols is easy (Q2233393) (← 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)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy (Q6076175) (← links)