A Temporal Logic of Nested Calls and Returns
No abstract available.
Related papers
- Software model checking using languages of nested trees TOPLAS 2011
- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic TACAS 2022
- Propositional Dynamic Logic for Higher-Order Functional Programs CAV 2018
- Pushdown flow analysis of first-class control ICFP 2011
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties TACAS 2018
- A Model Checker for Operator Precedence Languages TOPLAS 2023
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025