AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Formal Verification of AI-based Code Generation in Model-Driven Development

Time: Tuesday, 4.11

Room: Room B

Authors: Cheng Wang, Florian Lorber, Edi Muškardin, Bernhard Aichernig