This volume may be obtained from the AMS or through bookstores in your area. You may also visit the AMS Bookstore and order directly from there. It is the intention of the CAV Steering Committee that future CAV meetings will continue the current focus on the problem of making formal verification feasible for various models of computation.
Present emphasis is on models associated with distributed programs, protocols, and digital circuits.
A good test of algorithm feasibility is to embed it into a verification tool and exercise that tool on realistic examples. Thus, we have promoted special sessions for the demonstration of new verification tools. For the technical sessions, we seek theoretical results that lead to new or more powerful verification methods. Since we expect that a number of the results presented at CAV actually will be used by hardware and software designers, we seek to maintain a balance between presentations by researchers and practitioners. Proofs of correctness of algorithms such as the Euclidean algorithm go far back into history.