Automated Verification of Shape and Size (2007)
Nguyen, Huu Hai, David, Cristina, Qin, Shengchao, Chin, Wei Ngan
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...
Automated Verification of Shape and Size (2007)
Nguyen, Huu Hai, David, Cristina, Qin, Shengchao, Chin, Wei Ngan
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...