The following pages link to (Q4223068):
Displayed 5 items.
- Permutation rewriting and algorithmic verification (Q865624) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)