Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes
, Abdo Shabah, Gabriela Nicolescu
Communication écrite (2024)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9798331519537
Adresse URL de PolyPublie:
Nom de la conférence:
International Workshop on Rapid System Prototyping (RSP 2024)
Lieu de la conférence:
Raleigh, NC, USA
Date(s) de la conférence:
2024-10-03
Maison d'édition:
Institute of Electrical and Electronics Engineers
URL officielle:
OAI:
oai:publications.polymtl.ca:62714
ORCID
Date du dépôt:
14 févr. 2025 11:22
Dernière modification:
14 oct. 2026 14:22
Citer en APA 7:
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (octobre 2024). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Communication écrite]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. https://doi.org/10.1109/rsp64122.2024.10870993
Statistiques
Dimensions
