Verification of Well-Formed Communicating Recursive State Machines
No abstract available.
Related papers
- Analysis of recursive state machines TOPLAS 2005
- Algorithmic Verification of Recursive Probabilistic State Machines TACAS 2005
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines CAV 1992
- Communication-Closed Asynchronous Protocols CAV 2019
- From Communicating Machines to Graphical Choreographies POPL 2015
- Recursive State Machine Guided Graph Folding for Context-Free Language Reachability PLDI 2023
- McScM: A General Framework for the Verification of Communicating Machines TACAS 2012
- Analysis of Recursive State Machines CAV 2001