Rim Zrelli, Henrique Amaral Misson, Marwa Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu. Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. Journal of Systems and Software, 240:112941, 2026. [doi]
Abstract is missing.