added examples for real time verification