Online model checking mechanism and its applications / by Yuhong Zhao