The following pages link to (Q4518896):
Displaying 15 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Permutation rewriting and algorithmic verification (Q865624) (← links)
- Synchronizing relations on words (Q905682) (← links)
- Iterating transducers (Q1858440) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- An approach to the verification of symmetric parameterized distributed systems (Q2498278) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Networks of Processes with Parameterized State Space (Q4921504) (← links)
- Closure properties of synchronized relations (Q5090470) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)
- Regular model checking revisited (Q6045028) (← links)