Safety Property: NoFactory

property NoFactory {
  check RSystem.setFactory () {
     violation ("Attempt to set factory.");
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science