International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time | Topic | Authors |
11:00 | Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Code | Bernhard Aichernig, Klaus Havelund |
11:30 | AI-Assisted Requirements Specification | Ezio Bartocci |
12:00 | Panel |