summary
- Reachability of pushdown systems
- Reachability of lossy channel systems
references
- “On Communicating Finite-State Machines”, Brand and Zafiropulo, 1983
- “Well-structured transition systems everywhere”, Finkel and Schnoebelen, 2001
- “Verifying Programs with Unreliable Channels”, 1996
- “Unreliable Channels Are Easier to Verify Than Perfect Channels”, Cece, Finkel and Iyer, 1996
- “Reachability Analysis of Pushdown Automata: Application to Model-Checking”, Bouajjani, Esparza and Maler, 1997
- “A Direct Symbolic Approach to Model Checking Pushdown Systems”, Finkel, Willems and Wolper, 1997