Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code.

Bernhard K. Aichernig, Klaus Havelund

Browse the full VECoS paper archive.