Browse Graduate Dissertations and Theses at Illinois by Subject "invariant synthesis"

  • Garg, Pranav (2015-07-14)
    The problem of synthesizing adequate inductive invariants to prove a program correct lies at the heart of automated program verification. We investigate, herein, learning approaches to synthesize inductive invariants of ...

    application/pdf

    application/pdfPDF (2MB)