ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase

Time: Thursday, 31.10

Room: Room 3

Authors: Amer Tahat, David Hardin, Adam Petz, Perry Alexander

Abstract: