Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
No abstract available.
Related papers
- Declaration-Free Type Checking POPL 1985
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking TACAS 2005
- Regular expression pattern matching for XML POPL 2001
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection APLAS 2000
- Regular language type inference with term rewriting ICFP 2020
- Regular expression pattern matching for XML JFP 2003
- Regular Tree Model Checking CAV 2002
- Efficient software model checking of data structure properties OOPSLA 2006