AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频

生成解读视频

AI 溯源

AI解析本论文相关学术脉络

生成溯源树

Exploring very large state spaces using genetic algorithms

Tools and Algorithms for Construction and Analysis of Systems, no. 2 (2004): 117-127

引用：137|浏览34

下载 PDF 全文

原文链接

其它链接

dl.acm.org dblp.uni-trier.de academic.microsoft.com link.springer.com

引用

关键词

simple heuristicsgenetic algorithmsgenetic algorithmstate-space searchgenetic search更多(10+)

摘要

We present a novel frameworkfor exploring very large state spaces of concurrent reactive systems. Our frameworkexploits application-independent heuristics using genetic algorithms to guide a state-space search towards error states. We have implemented this frame- workin conjunction with VeriSoft, a tool for exploring the state spaces of s...更多

代码：

数据：

下载 PDF 全文

PPT (上传PPT)

相似论文

引用论文

被引论文

作者