Automatic Verification of Pointer Programs using Monadic Second-Order Logic.

Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Michael I. Schwartzbach

Browse the full PLDI paper archive.