Computer Aided Verification.
| Author/creator | Bochmann, G.V. Editor |
| Other author | Probst, D.K. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | ix, 422 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories for the computer-aided verification of concurrentsystems. The workshops provide an opportunity for comparingvarious verification methods and practical tools that can beused to assist the applications designer. Emphasis is placedon new research results and the application of existingresults 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 proofchecking, and other approaches. The volume starts with aninvited lecture by Leslie Lamport entitled"Computer-hindered verification (humans can do it too)". |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540564966 |
| ISBN | 3540564969 (Trade Paper) Active Record |
| Standard identifier# | 9783540564966 |
| Stock number | 3540564969 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |