Books > Computing & IT > Computer programming
|
Buy Now
Computer Aided Verification - Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Paperback, 1993 ed.)
Loot Price: R1,751
Discovery Miles 17 510
|
|
Computer Aided Verification - Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 663
Expected to ship within 10 - 15 working days
|
This volume gives the proceedings of the Fourth Workshop on
Computer-Aided Verification (CAV '92), held in Montreal, June 29 -
July 1, 1992. The objective of this series of workshops is to bring
together researchers and practitioners interested in the
development and use of methods, tools and theories for the
computer-aided verification of concurrent systems. The workshops
provide an opportunity for comparing various verification methods
and practical tools that can be used to assist the applications
designer. Emphasis is placed on new research results and the
application of existing results to real verification problems. The
volume contains 31 papers selected from 75 submissions. These are
organized into parts on reduction techniques, proof checking,
symbolic verification, timing verification, partial-order
approaches, case studies, model and proof checking, and other
approaches. The volume starts with an invited lecture by Leslie
Lamport entitled "Computer-hindered verification (humans can do it
too)."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.