Yunchou Li

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Refinement Process

Manufacturing Cell

Temporal Properties

Top Venues

计算机科学

Publications

Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) (2018)
Yunchou Li, Ping Yin
模型检验在航天测控软件上的应用研究 (Research of Model Checking Application on Aerospace TT&C Software). 计算机科学 45 (6A) (2018)