Analysis of Recursive State Machines
No abstract available.
Related papers
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Analysis of recursive state machines TOPLAS 2005
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015
- Algorithmic Verification of Recursive Probabilistic State Machines TACAS 2005
- Verification of Well-Formed Communicating Recursive State Machines VMCAI 2006
- On-the-Fly Reachability and Cycle Detection for Recursive State Machines TACAS 2005
- Recursive State Machine Guided Graph Folding for Context-Free Language Reachability PLDI 2023
- Subcubic algorithms for recursive state machines POPL 2008