.png){kind=icon}
返回
Swarm Verification Techniques
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2010.110.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory sizes on standard computers. The steady increase in processing speeds, though, ended when chip-makers started redirecting their efforts to the development of multicore systems. For the near-term future, we can anticipate the appearance of systems with large numbers of CPU cores, but without matching increases in clock-speeds. We will describe a model checking strategy that can allow us to leverage this trend and that allows us to tackle significantly larger problem sizes than before.
Keyword:
Software engineering tools and techniques
logic model checking
distributed algorithms
software verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
分享收藏Three-dimensional organization of uninfected tissue in soybean root nodules and its relation to cell specialization in the central region.png)
Protoplasma
ProtoplasmaIF0
PREAI
分享收藏分享收藏Post-transplant Management in Heart Transplant Recipients: New Drugs and Prophylactic Strategies
PREAI
分享收藏 没有更多内容
没有更多内容