迪迪埃·布克斯；史蒂夫·霍斯特特勒；亚历克西斯·马雷沙尔；马蒂奥·里索尔迪 AlPiNA：符号模型检查器。 （英语） Zbl 1233.68155号 Lilius，Johan（编辑）等人，《Petri网的应用和理论》。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13674-0/pbk）。计算机科学课堂讲稿6128，287-296（2010）。 概要：AlPiNA是高级Petri网的符号模型检查器。它由两个独立的模块组成：Eclipse的GUI插件和底层模型检查引擎。AlPiNA的目标是对大型软件系统执行高效、用户友好、易于使用的模型检查。这是通过将模型及其属性与模型检查相关的关注点分离来实现的：用户可以描述和执行高级模型上的检查，而无需掌握低级技术。本文描述了AlPiNA为用户提供的用于指定要验证的模型和属性的功能，以及它实现的用于调整验证性能的技术。关于整个系列，请参见[兹比尔1189.68013]. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：系统设计；系统验证；高级网络模型；代数Petri网；状态空间生成；网络计算机工具；模型检查 软件：阿尔皮纳 PDF格式BibTeX公司 XML格式引用 \textit{D.Buchs}等人，Lect。注释计算。科学。61287-296（2010年；Zbl 1233.68155） 全文： DOI程序 链接