Browse Graduate Dissertations and Theses at Illinois by Subject "Invariant Synthesis"

  • Suresh Kumar, Anjana (2021-04-26)
    Invariant synthesis is crucial for program verification and is a challenging task. We present a new concrete learning algorithm, Winnow-ICE, to synthesize inductive invariants for proving that a program is correct by ...

    application/pdf

    application/pdfPDF (688kB)