Trace Abstraction-Based Verification for Uninterpreted Programs. - Weijiang Hong; Zhenbang Chen; Yide Du; Ji Wang 001 (FM, 2021)

Collaborative Verification of Uninterpreted Programs. - Yide Du; Weijiang Hong; Zhenbang Chen; Ji Wang 001 (TASE, 2022)

Verification of message-passing uninterpreted programs. - Weijiang Hong; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Yide Du; Ji Wang 001 (Sci. Comput. Program., 2024)