Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK.

Marcos Cramer, Lucian McIntyre

Browse the full ICSoft paper archive.