Yunchou Li

According to our database, Yunchou Li authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

模型检验在航天测控软件上的应用研究 (Research of Model Checking Application on Aerospace TT&C Software).

Yunchou Li, Ping Yin

计算机科学, 2018

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).

Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018