Pirzada, M. A. A., Bhayat, A., Cordeiro, L. C., & Reger, G. (2024, October 27). LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 1395-1407. https://doi.org/10.1145/3691620.3695512
Chicago-Zitierstil (17. Ausg.)Pirzada, Muhammad A. A., Ahmed Bhayat, Lucas C. Cordeiro, und Giles Reger. "LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 27 Oct. 2024: 1395-1407. https://doi.org/10.1145/3691620.3695512.
MLA-Zitierstil (9. Ausg.)Pirzada, Muhammad A. A., et al. "LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 27 Oct. 2024, pp. 1395-1407, https://doi.org/10.1145/3691620.3695512.