Accelerating Online Model Checking. - Mona Qanadilo; Sufyan Samara; Yuhong Zhao 001 (LADC, 2013)