Yide Du

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

False Acceptance

Top Venues

Sci. Comput. Program.

Publications

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234 (2024)
Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
Collaborative Verification of Uninterpreted Programs. TASE (2022)
Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
Trace Abstraction-Based Verification for Uninterpreted Programs. FM (2021)