ISoLA 2024

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

Talk

Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Code

Time: Thursday, 31.10

Room: Room 3

Authors: Bernhard Aichernig, Klaus Havelund

Abstract: