Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 52-70
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Automatic Verification of Parameterized Data Structures2006
- Shape Analysis by Predicate Abstraction2005
- Simulation-Based Iteration of Tree TransducersLecture Notes in Computer Science, 2005
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model CheckingLecture Notes in Computer Science, 2005
- Abstract Regular Model Checking2004
- Iterating Transducers in the Large2003
- Regular Tree Model CheckingLecture Notes in Computer Science, 2002
- Extrapolating Tree TransformationsLecture Notes in Computer Science, 2002
- Regular Model Checking Made Simple and Effcient*2002
- Regular Model Checking2000