Safety Property: NoOverwriteSimple

property NoOverwriteSimple {
  check RFileSystem.openOverwrite (file: RFile), 
           RFileSystem.openAppend (file: RFile) {
     violation ("Attempt to overwrite file.");
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science