Model Checking, Abstraction, and Compositional Verification

ion, and Compositional Verification David E. Long July 1993 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Thesis Committee: Edmund M. Clarke, Chair Randal E. Bryant Stephen D. Brookes Orna Grumberg, The Technion c fl 1993, David E. Long This research was sponsored in part by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air Force, Wright-Patterson AFB, Ohio 45433-6543 under Contract F33615-90-C-1465, ARPA Order No. 7597, and in part by the National Science Foundation under Grant no. CCR-9005992, and in part by a National Science Foundation Graduate Fellowship, and in part by the Semiconductor Research Corporation under Contract 92-DJ-294. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the National Science Foundation, the Semiconductor Research Corpo..