Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Granberry, George"'
We investigate how combinations of Large Language Models (LLMs) and symbolic analyses can be used to synthesise specifications of C programs. The LLM prompts are augmented with outputs from two formal methods tools in the Frama-C ecosystem, Pathcrawl
Externí odkaz:
http://arxiv.org/abs/2406.15540
