Run-Time Verification

TBD