Real-Time Verification