Algorithmic Verification of Recursive Probabilistic State Machines
Abstract elided by the publisher.
Related papers
- Analysis of recursive state machines TOPLAS 2005
- Verification of Well-Formed Communicating Recursive State Machines VMCAI 2006
- Program verification as probabilistic inference POPL 2007
- Subcubic algorithms for recursive state machines POPL 2008
- A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs OOPSLA 2024
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015