YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). - Liangze Yin; Wei Dong 006; Wanwei Liu; Yunchou Li; Ji Wang 001 (TACAS (2), 2018)

模型检验在航天测控软件上的应用研究 (Research of Model Checking Application on Aerospace TT&C Software). - Yunchou Li; Ping Yin (计算机科学, 2018)