| 书目名称 | Symbolic Model Checking | | 编辑 | Kenneth L. McMillan | | 视频video | | | 图书封面 |  | | 描述 | Formal verification means having a mathematical model of asystem, a language for specifying desired properties of the system ina concise, comprehensible and unambiguous way, and a method of proofto verify that the specified properties are satisfied. When the methodof proof is carried out substantially by machine, we speak ofautomatic verification. .Symbolic Model Checking. deals withmethods of automatic verification as applied to computerhardware..The practical motivation for study in this area is the high andincreasing cost of correcting design errors in VLSI technologies.There is a growing demand for design methodologies that can yieldcorrect designs on the first fabrication run. Moreover, design errorsthat are discovered before fabrication can also be quite costly, interms of engineering effort required to correct the error, and theresulting impact on development schedules. Aside from pure costconsiderations, there is also a need on the theoretical side toprovide a sound mathematical basis for the design of computer systems,especially in areas that have received little theoreticalattention.. | | 出版日期 | Book 1993 | | 关键词 | VLSI; computer; design; model; model checking; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-3190-6 | | isbn_softcover | 978-1-4613-6399-6 | | isbn_ebook | 978-1-4615-3190-6 | | copyright | Kluwer Academic Publishers 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 17:44:41
