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: Friday, 1.11

Room: Room 3

Authors: Bernhard Aichernig, Klaus Havelund

Abstract: