Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications.

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu

Browse the full RSP paper archive.