萨米·伊万格利斯塔;劳雷·佩特鲁奇;萨米尔·优素福 并行嵌套深度优先搜索用于LTL模型检查。 （英文） Zbl 1348.68134号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，381-396（2011）。 摘要：尽管众所周知的用于LTL模型检查的嵌套深度优先搜索算法提供了良好的性能，但它无法从最近出现的多核计算机中受益。本文提出了该算法的一个新版本，适用于具有共享内存的多核体系结构。通过一系列实验，它可以显示出良好的加速性能。关于整个系列，请参见[Zbl 1223.68004号]. 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：自旋蛋白;迪维尼;山毛榉 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。6996、381--396（2011年；Zbl 1348.68134） 全文： 内政部