Combining symmetry reduction with generalized symbolic trajectory evaluation
文献类型：期刊论文
| 作者 | Li, Yongjian (1) ; Zeng, Naiju (1) ; Hung, William N.N. (2) ; Song, Xiaoyu (3) |
| 刊名 | Computer Journal
 |
| 出版日期 | 2014 |
| 卷号 | 57期号:1页码:115-128 |
| 关键词 | generalized symbolic trajectory evaluation symmetry reduction theorem proving |
| ISSN号 | 104620 |
| 通讯作者 | Li, Y.(lyj238@gmail.com) |
| 中文摘要 | This paper combines symmetry reduction with generalized symbolic trajectory evaluation (GSTE) to tackle state explosion. The inherent correlation between structure symmetry and property symmetry is formalized as a theorem, which provides the soundness of our symmetry reduction method. We introduce a practical strategy to effectively integrate the symmetry-reduction approach in a hybrid verification environment which combines theorem proving and GSTE. The effectiveness of our method is demonstrated by case studies. © 2013 The Author 2013. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oup.com. |
| 英文摘要 | This paper combines symmetry reduction with generalized symbolic trajectory evaluation (GSTE) to tackle state explosion. The inherent correlation between structure symmetry and property symmetry is formalized as a theorem, which provides the soundness of our symmetry reduction method. We introduce a practical strategy to effectively integrate the symmetry-reduction approach in a hybrid verification environment which combines theorem proving and GSTE. The effectiveness of our method is demonstrated by case studies. © 2013 The Author 2013. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oup.com. |
| 收录类别 | SCI ; EI |
| 语种 | 英语 |
| WOS记录号 | WOS:000329132400008 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16889]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Li, Yongjian ,Zeng, Naiju ,Hung, William N.N. ,et al. Combining symmetry reduction with generalized symbolic trajectory evaluation[J]. Computer Journal,2014,57(1):115-128. |
| APA | Li, Yongjian ,Zeng, Naiju ,Hung, William N.N. ,&Song, Xiaoyu .(2014).Combining symmetry reduction with generalized symbolic trajectory evaluation.Computer Journal,57(1),115-128. |
| MLA | Li, Yongjian ,et al."Combining symmetry reduction with generalized symbolic trajectory evaluation".Computer Journal 57.1(2014):115-128. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。