VeriAudits (Monitoring and Testing)