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, process algebras and
calculi, partial orders, and exploiting symmetry.