| 书目名称 | Computer-Aided Verification | | 副标题 | 2nd Internatonal Con | | 编辑 | Edmund M. Clarke,Robert P. Kurshan | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerfulverificationmethods. Among these are advances in the use ofbinarydecision diagrams, dense time, reductions based upon partialorder representations and proof-checking in controllerverification. The motivation for holding a workshoponcomputer aided verification was to bring together work oneffectivealgorithms or methodologies for formalverification - as distinguished, say,from attributes oflogics or formal languages. The considerable interestgenerated by the first workshop, held in Grenoble, June1989(see LNCS 407), prompted this second meeting. The generalfocus of this volume is on the problem of making formalverification feasible forvarious models of computation.Specific emphasis is on models associatedwith distributedprograms, protocols, and digital circuits. The general testof algorithm feasibility is to embed it into a verificationtool,and exercise that tool on realistic examples: theworkshop included sessionsfor the demonstration of newverification tools. | | 出版日期 | Conference proceedings 1991 | | 关键词 | Algorithms; Attribut; Session; algorithm; computer; formal language; formal languages; formal verification; | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0023712 | | isbn_softcover | 978-3-540-54477-7 | | isbn_ebook | 978-3-540-38394-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1991 |
The information of publication is updating
|
|
发表于 2025-3-21 19:00:52
