RWE Systems Verification