Safety Property: NoPrinting

property NoPrinting {
  check RPrinter.submitJob () {
    violation ("Attempt to use printer.");
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science