Automata-Based Verification of Programs with Tree Updates
No abstract available.
Related papers
- Tree Automata-Based Refinement with Application to Horn Clause Verification VMCAI 2015
- Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs APLAS 2015
- Verification of Tree Updates for Optimization CAV 2005
- Lazy Abstractions for Timed Automata CAV 2013
- Verifying Quantum Circuits with Level-Synchronized Tree Automata POPL 2025
- Software model checking using languages of nested trees TOPLAS 2011
- Runtime Verification Based on Register Automata TACAS 2013
- Are Timed Automata Updatable? CAV 2000