Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes
, Abdo Shabah and Gabriela Nicolescu
Paper (2024)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9798331519537 |
| PolyPublie URL: | https://publications.polymtl.ca/62714/ |
| Conference Title: | International Workshop on Rapid System Prototyping (RSP 2024) |
| Conference Location: | Raleigh, NC, USA |
| Conference Date(s): | 2024-10-03 |
| Publisher: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/rsp64122.2024.10870993 |
| Official URL: | https://doi.org/10.1109/rsp64122.2024.10870993 |
| Date Deposited: | 14 Feb 2025 11:22 |
| Last Modified: | 14 Feb 2025 11:22 |
| Cite in APA 7: | Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2024, October). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Paper]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. https://doi.org/10.1109/rsp64122.2024.10870993 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
