Bai, Y., Hamad, G. B., Ho, C., Suhaib, S., & Ren, H. (2025). FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures.
Citazione stile Chigago Style (17a edizione)Bai, Yunsheng, Ghaith Bany Hamad, Chia-Tung Ho, Syed Suhaib, e Haoxing Ren. FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures. 2025.
Citatione MLA (9a ed.)Bai, Yunsheng, et al. FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.