Opening book details…
Can I read Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings on EtoBox?
Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings by Robert K. Brayton (auth.), Costas Courcoubetis (eds.) is a nonfiction available to read on EtoBox.
What is Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings about?
"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."--PUBLISHER'S WEBSITE
Who reads Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1993
- Language
- EN
- ISBN
- 9780387569222
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Computer Science
More by Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
Browse all works by Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
Similar books
- Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings — Ahmed Bouajjani & Oded Maler Bouajjani (2009)
- Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference,CAV 2005 — Kousha Etessami, Sriram K Rajamani, CAV 2005, International Conference on Computer Aided Verification, CAV (Conference) (2005)
- Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I — Arie Gurfinkel; Vijay Ganesh (2024)
- Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference,CAV 2004 — Rajeev Alur, Doron A. Peled, Rajeev Alur, Doron A Peled, CAV (Conference), (2004)
- Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20{u2013}23, 2021, Proceedings, Part II — Alexandra Silva,K. Rustan M. Leino (2021)
- Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science (818)) — Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (1994)