Co-Synthesis of Code and Formal Models Using Large Language Models and Functors
| Title: | Co-Synthesis of Code and Formal Models Using Large Language Models and Functors |
|---|---|
| Authors: | Jha, Sumit Kumar, Jha, Susmit, Ewetz, Rickard, Velasquez, Alvaro |
| Source: | MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2024 - 2024 IEEE. :215-220 Oct, 2024 |
| Relation: | MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350374230 |
|---|---|
| ISSN: | 21557586 |
| DOI: | 10.1109/MILCOM61039.2024.10773930 |
| Published in: | MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM), Military Communications Conference (MILCOM), MILCOM 2024 - 2024 IEEE |