Exploiting Hub States in Automatic Verification

机译：在自动验证中利用集线器状态

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we present a new algorithm to counteract state explosion when using Explicit State Space Exploration to verify protocol-like systems. We sketch the implementation of our algorithm within the Caching Murφ verifier and give experimental results showing its effectiveness. We show experimentally that, when memory is a scarce resource, our algorithm improves on the time performances of Caching Murφ verification algorithm, saving between 16% and 68% (45% on average) in computation time.

机译：在本文中，我们提出了一种新的算法，用于在使用显式状态空间探索来验证类似协议的系统时抵消状态爆炸。我们在高速缓存Murφ验证程序中草绘了我们算法的实现，并给出了表明其有效性的实验结果。我们通过实验证明，当内存是一种稀缺资源时，我们的算法改进了缓存Murφ验证算法的时间性能，节省了16％至68％（平均45％）的计算时间。

著录项

来源
《International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT)》|2005年|P.54-68|共15页
会议地点 Taibei(CT)
作者
Giuseppe Della Penna; Igor Melatti; Benedetto Intrigila; Enrico Tronci;
展开▼
作者单位

Dip. di Informatica, Universita di L'Aquila, Coppito 67100, L'Aquila, Italy;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类性能分析、功能分析;
关键词

相似文献

外文文献
中文文献
专利

1. Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach [J] . Trippel Caroline, Lustig Daniel, Martonosi Margaret IEEE Micro . 2019,第3期

机译：通过自动的硬件感知攻击综合来进行安全验证：CheckMate方法
2. Exploiting transition locality in automatic verification of finite-state concurrent systems [J] . Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer . 2004,第4期

机译：在有限状态并发系统的自动验证中利用转换局部性
3. Exploiting the Potential of Energy Hubs in Power Systems Regulation Services [J] . Shahab Bahrami, Farrokh Aminifar Smart Grid, IEEE Transactions on . 2019,第5期

机译：在电力系统监管服务中挖掘能源枢纽的潜力
4. Exploiting Hub States in Automatic Verification [C] . International Symposium on Automated Technology for Verification and Analysis . 2005

机译：利用枢纽状态在自动验证中
5. Exploitation of RF-DNA for device classification and verification using GRLVQI processing. [D] . Reising, Donald R. 2012

机译：利用GRLVQI处理技术开发用于设备分类和验证的RF-DNA。
6. Multiple Bioinformatics Analyses of Integrated Gene Expression Profiling Data and Verification of Hub Genes Associated with Diabetic Retinopathy [O] . Jiaxin You, Shounan Qi, Yang Du, 2020

机译：整合基因表达谱数据的多种生物信息学分析和与糖尿病性视网膜病变相关的Hub基因的验证
7. Exploiting transition locality in automatic verification [O] . Enrico Tronci, Benedetto Intrigila, Marisa Venturini Zilli 2001

机译：在自动验证中利用转换局部性

Exploiting Hub States in Automatic Verification

摘要

著录项

相似文献

相关主题

期刊订阅