LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling

Open Webpage

Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro

Published: 2024, Last Modified: 21 Jan 2026ASE 2024EveryoneRevisionsBibTeXCC BY-SA 4.0