Browsing MINDS@UW Madison by Subject "distributed solver"
Now showing items 1-1 of 1
-
Symbolic Abstraction: Algorithms and Applications
(2014-08-21)This dissertation explores the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics. Establishing that a program is correct is undecidable in general. ...