Yide Du

According to our database, Yide Du authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

Verification of message-passing uninterpreted programs.

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang

Sci. Comput. Program., 2024

2022

Collaborative Verification of Uninterpreted Programs.

Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

Trace Abstraction-Based Verification for Uninterpreted Programs.

Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang

Proceedings of the Formal Methods - 24th International Symposium, 2021