AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

LLM-Assisted Program Translation and Bounded Model Checking for Formal Verification of Python Code

Time: Wednesday, 5.11

Room: Room B

Authors: Shivkumar Shivaji, Natalia Lobakhina, Klaus Havelund, Lucas Cordeiro, Alessandro Pinto