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

Activity: Talk or presentation › Invited talk › science-to-science

Period04 Nov 2025
Event titleAISOLA 2025 - Bridging the Gap Between AI and Reality, International Conference: Track on AI Assisted Programming
Event typeConference
LocationRhodes, GreeceShow on map
Degree of RecognitionInternational

Fields of science

  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 202006 Computer hardware
  • 102 Computer Sciences

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management

UN SDGs

This activity contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure

Related content