Verification “Auditability” Can Be “Free” James H. Jones Optants Documented Decision Support Company (ODDSCO) .
Miguel Garzón - University of Ottawa Based on slides by Gunter Mussbacher with material from: Ian Zimmerman (Telelogic, 2001), Ivy Hooks (Compliance Automation,