| 书目名称 | Computer-Aided Reasoning | | 副标题 | ACL2 Case Studies | | 编辑 | Matt Kaufmann,Panagiotis Manolios,J. Strother Moor | | 视频video | http://file.papertrans.cn/235/234450/234450.mp4 | | 丛书名称 | Advances in Formal Methods | | 图书封面 |  | | 描述 | .Computer-Aided Reasoning: ACL2 Case Studies. illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are .sanitized. industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. .Computer-Aided Reasoning: ACL2 Case Studies. is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware and software systems faster and more reliably, and those wishing to learn how to do this. The former audience includes project managers and students in survey-oriented courses. The latter audience includes students and professionals pursuing rigorous approaches to hardware and software engineering or formal methods. .Computer-Aided Reasoning: ACL2 Case Studies. can be used in graduate and upper-division undergraduate courses on Software Engineering, | | 出版日期 | Book 2000 | | 关键词 | Compiler; Text; artificial intelligence; automated reasoning; intelligence; microprocessor; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4757-3188-0 | | isbn_softcover | 978-1-4419-4981-3 | | isbn_ebook | 978-1-4757-3188-0Series ISSN 1567-7338 | | issn_series | 1567-7338 | | copyright | Springer Science+Business Media New York 2000 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-16 02:52
发表于 2025-3-21 18:34:48
