Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes
, Abdo Shabah et Gabriela Nicolescu
Communication écrite (2024)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9798331519537 |
| URL de PolyPublie: | https://publications.polymtl.ca/62714/ |
| 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 |
| DOI: | 10.1109/rsp64122.2024.10870993 |
| URL officielle: | https://doi.org/10.1109/rsp64122.2024.10870993 |
| Date du dépôt: | 14 févr. 2025 11:22 |
| Dernière modification: | 14 févr. 2025 11: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
Actions réservées au personnel
|
Afficher document |
