Browsing Computer Science (CS) by Subject "Verification"

Now showing items 1-1 of 1

    • Automated Verification of Shape and Size 

      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 ...