Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei Ngan
(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 ...