Computer Aided Verification.
| Author/creator | Courcoubetis, C. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | ix, 504 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation This volume contains the proceedings of the Fifth Conferenceon Computer-Aided Verfication, held in Crete, Greece, inJune/July 1993.The objective of the CAV conferences is to bring togetherresearchers and practitioners interested in the developmentanduse of methods, tools, and theories for thecomputer-aided verification of concurrent systems. Theconferences provide an opportunity for comparing variousverfication methods and tools that can be used to assist theapplications designer. Emphasis is placed on new researchresults and the application of existing methods to realverification problems.The volume contains abstracts of three invited lectures andfull versions of 37 contributed papers selected from 84submissions.The contributions are grouped into sections onhardware verification with BDDs, methods and tools, theoremproving, analysis of real-time systems, process algebras andcalculi, partial orders, and exploiting symmetry. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540569220 |
| ISBN | 3540569227 (Trade Paper) Active Record |
| Standard identifier# | 9783540569220 |
| Stock number | 3540569227 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |