2 search results - page 1 / 1 » Direct Planar Tree Transformation and Counterexample |
58
Voted
CCCG
2008
15 years 26 days ago
2008
127
click to vote
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...