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