• Automated reasoning about actions 

      Lee, Joohyung (2005)
      The study of reasoning about a tions is an important subarea of the theory of ommonsense reasoning. It is on erned with developing appropriate systems of logi for des ribing a tions and their e e ts on the ...
    • Combining advanced formal hardware verification techniques 

      Reeber, Erik Henry, 1978- (2007-12)
      This dissertation combines formal verification techniques in an attempt to reduce the human effort required to verify large systems formally. One method to reduce the human effort required by formal verification is to ...
    • Generalization, lemma generation, and induction in ACL2 

      Erickson, John D., Ph. D. (2008-05)
      Formal verification is becoming a critical tool for designing software and hardware today. Rising complexity, along with software's pervasiveness in the global economy have meant that errors are becoming more difficult to ...
    • Using theorem proving and algorithmic decision procedures for large-scale system verification 

      Ray, Sandip (2005)
      The goal of formal verification is to use mathematical methods to prove that a computing system meets its specifications. When applicable, it provides a higher assurance than simulation and testing in correct system ...