Work

Co-Synthesis of Code and Formal Models Using Large Language Models and Functors

Year: 2024

Type: conference-paper

Source: IEEE Military Communications Conference (MILCOM)

DOI: 10.1109/milcom61039.2024.10773930

Authors: Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

Institutions: SRI International, Florida International University, University of Florida, University of Colorado Boulder, University of Colorado System

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4405103253

FWCI: 2.639

Cites: 19

Cited by: 4

Related to: 10