Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Costas Courcoubetis
Themen in »Computer Aided Verification«
Addition Automatic Verification Boolean function Echtzeit-Systeme Equivalence Hardware Model Checking Process Algebras Prozessalgebren Real-Time Systems algorithms automata calculus formal verification verification