Zhouyue Sun

According to our database, Zhouyue Sun authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Affine Disjunctive Invariant Generation with Farkas' Lemma.

Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025