Browse Graduate Dissertations and Theses at Illinois by Subject "invariants"

  • 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)
  • Tucker, William Walden (2005)
    We use lattice methods to study the connection between topological objects and the confining potential in SU(2) and SU(3) Yang-Mills theories. We use Monte Carlo techniques, generating and performing measurements on sample ...

    application/pdf

    application/pdfPDF (2MB)Restricted to U of Illinois