| 书目名称 | Computer Aided Verification |
| 副标题 | Fourth International |
| 编辑 | Gregor Bochmann,David Karl Probst |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume gives the proceedings of the Fourth Workshop onComputer-AidedVerification (CAV ‘92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers andpractitionersinterested 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 31papers selected from 75 submissions.These are organized into parts onreduction techniques,proof checking, symbolic verification, timing verification,partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with aninvited lectureby Leslie Lamport entitled"Computer-hindered verification (humanscan do it too)". |
| 出版日期 | Conference proceedings 1993 |
| 关键词 | Automatic Verification; Automatische Verifikation; Beweisprüfung; Computer-Aided Design (CAD); Concurren |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-56496-9 |
| isbn_softcover | 978-3-540-56496-6 |
| isbn_ebook | 978-3-540-47572-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
发表于 2025-3-21 18:39:22
