Computer Aided Verification

This volume contains the proceedings of the Fifth Conference
on                  Computer-Aided Verfication, held in Crete, Greece, in
June/July                  1993.
The objective of the CAV conferences is to bring                                 together
researchers and practitioners interested in the development
anduse of methods, tools, and theories for the
computer-aided verification of   concurrent systems. The
conferences provide an opportunity for comparing      various
verfication methods and tools that can be used to assist                  the
applications designer. Emphasis is placed on new research
results   and the application of existing methods to real
verification                        problems.
The volume contains abstracts of three invited lectures               and
full versions of 37 contributed papers selected from 84
submissions. The contributions are grouped into sections on
hardware verification with   BDDs, methods and tools, theorem
proving, analysis of real-time systems,      processalgebras and
calculi, partial orders, and exploiting symmetry.