Pages that link to "Item:Q4571986"
From MaRDI portal
The following pages link to Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986):
Displaying 8 items.
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Using forward reachability analysis for verification of lossy channel systems (Q1878928) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q1960526) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Exact acceleration of real-time model checking (Q2842578) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)