Search
Now showing items 1-1 of 1
Automated Verification of Shape and Size
(2007-01)
Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ...