| 书目名称 | Computer-Aided Verification |
| 副标题 | A Special Issue of F |
| 编辑 | Robert Kurshan |
| 视频video | http://file.papertrans.cn/235/234460/234460.mp4 |
| 图书封面 |  |
| 描述 | .Computer-Aided Verification. is a collection of papersthat begins with a general survey of hardware verification methods.Ms. Gupta starts with the issue of verification itself and develops ataxonomy of verification methodologies, focusing especially uponrecent advances. Although her emphasis is hardware verification, mostof what she reports applies to software verification as well. .Graphical presentation is coming to be a .de facto. requirementfor a `friendly‘ user interface. The second paper presents a genericformat for graphical presentations of coordinating systems representedby automata. .The last two papers as a pair, present a variety of generic techniquesfor reducing the computational cost of computer-aided verificationbased upon explicit computational memory: the first of the two gives atime-space trade-off, while the second gives a technique which tradesspace for a (sometimes predictable) probability of error. ..Computer-Aided Verification. is an edited volume of originalresearch. This research work has also been published as a specialissue of the journal .Formal Methods in System Design, 1:2-3... |
| 出版日期 | Book 1993 |
| 关键词 | Computer; Hardware; algorithms; automata; formal method; journal; verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-3556-0 |
| isbn_softcover | 978-1-4613-6579-2 |
| isbn_ebook | 978-1-4615-3556-0 |
| copyright | Springer Science+Business Media New York 1993 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-25 06:08
发表于 2025-3-21 19:02:34
