An I/O Efficient Model Checking Algorithm for Large-Scale Systems. - Lijun Wu 001; Huijia Huang; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001 (IEEE Trans. Very Large Scale Integr. Syst., 2015)