Tong Wu

Tong Wu

University of Manchester - Manchester / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210728
person_outline Tong Wu's MOST POPULAR ARTICLES
1-) Wit4Java: A violation-witness validator for Java verifiers (Competition Contribution) International Conference on Tools and Algorithms for the Construction and …, 2022
2-) Verifying Components of Arm® Confidential Computing Architecture with ESBMC International Static Analysis Symposium, 451-462, 2024
3-) ESBMC v7. 7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution) 31st International Conference on Tools and Algorithms for the Construction …, 2025
4-) JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
5-) JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model CheckingZ Cheng, T Wu, P Schrammel, N Tihanyi, EB de Lima Filho, LC CordeiroProceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024