Browse Graduate Dissertations and Theses at Illinois by Subject "invariants"
Now showing items 1-2 of 2
(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 ...
(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 ...