| 书目名称 | Computer Aided Verification | | 副标题 | 5th International Co | | 编辑 | Costas Courcoubetis | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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 bringtogetherresearchers and practitioners interested in the developmentanduse of methods, tools, and theories for thecomputer-aided verification ofconcurrent systems. Theconferences provide an opportunity for comparingvariousverfication methods and tools that can be used to assisttheapplications designer. Emphasis is placed on new researchresults and the application of existing methods to realverificationproblems.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,processalgebras andcalculi, partial orders, and exploiting symmetry. | | 出版日期 | Conference proceedings 1993 | | 关键词 | Addition; Automatic Verification; Boolean function; Echtzeit-Systeme; Equivalence; Hardware; Model Checkin | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56922-7 | | isbn_softcover | 978-3-540-56922-0 | | isbn_ebook | 978-3-540-47787-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 17:21:18
