| 书目名称 | Computer Aided Verification | | 副标题 | 17th International C | | 编辑 | Kousha Etessami,Sriram K. Rajamani | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 123 submissions for regular papers and 32 submissions for tool papers.Ofthesesubmissions,theProgramCommitteeselected32regularpapers and 16 tool papers, which formed the technical program of the conference. The conference had three invited talks, by Bob Bentley (Intel), Bud Mishra (NYU), and George C. Necula (UC Berkeley). The conference was preceded by a tutorial day, with two tutorials: – Automated Abstraction Re?nement, by Thomas Ball (Microsoft) and Ken McMillan (Cadence); and – Theory and Practice of Decision Procedures for Combinations of (First- Order) Theories, by Clark Barrett (NYU) and Cesare Tinelli (U Iowa). CAV 20 | | 出版日期 | Conference proceedings 2005 | | 关键词 | Compiler; Erfüllbarkeitsproblem der Aussagenlogik; Syntax; algorithms; automata; automated deduction; comp | | 版次 | 1 | | doi | https://doi.org/10.1007/b138445 | | isbn_softcover | 978-3-540-27231-1 | | isbn_ebook | 978-3-540-31686-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2005 |
The information of publication is updating
|
|
发表于 2025-3-21 17:54:17
