Regular Tree Model Checking
No abstract available.
Related papers
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures SAS 2006
- Paths vs. Trees in Set-Based Program Analysis POPL 2000
- Regular language type inference with term rewriting ICFP 2020
- Declaration-Free Type Checking POPL 1985
- Reduction of Nondeterministic Tree Automata TACAS 2016
- Regular expression pattern matching for XML POPL 2001
- Symbolic Model Checking of Non-regular Properties CAV 2004
- Abstract Regular Model Checking CAV 2004