Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). - Tong Wu 028; Peter Schrammel; Lucas C. Cordeiro (TACAS (2), 2022)

LF-checker (SV-COMP 2023). - Tong Wu 028 (Zenodo, 2022)

WIT4JAVA (SV-COMP 2023). - Tong Wu 028; Peter Schrammel; Lucas C. Cordeiro (Zenodo, 2022)

LF-checker. - Tong Wu 028 (Zenodo, 2022)

LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). - Tong Wu 028; Edoardo Manino; Fatimah Aljaafari; Pavlos Petoumenos; Lucas C. Cordeiro (CoRR, 2023)

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. - Zaiyu Cheng; Tong Wu 028; Peter Schrammel; Norbert Tihanyi; Eddie B. de Lima Filho; Lucas C. Cordeiro (ISSTA, 2024)

Verifying Components of Arm® Confidential Computing Architecture with ESBMC. - Tong Wu 028; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (SAS, 2024)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. - Tong Wu 028; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (CoRR, 2024)

ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu 028; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). - Tong Wu 028; Xianzhiyu Li; Edoardo Manino; Rafael Sá Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro (TACAS (3), 2025)