波诺 swMATH ID: 41583 软件作者： Mann，M.等人。 描述： Pono：一种灵活且可扩展的基于SMT的模型检查器。符号模型检查是现代系统设计中发现错误（或证明没有错误）的重要工具。因此，提高模型检查工具和算法的易用性、可扩展性和性能仍然是一个重要的研究方向。为了实现这个目标，我们提供了一个基于SMT的开源模型检查器Pono。Pono旨在成为开发和改进模型检查算法的研究平台，以及可用于学术和工业验证应用的性能竞争工具。除了性能之外，Pono还优先考虑透明度（作为GitHub上的开源项目开发）、灵活性（Pono可以通过利用其基于SMT的通用接口适应各种任务）和可扩展性（很容易添加新算法和新后端解算器）。在本文中，我们描述了该工具的设计，重点是灵活和可扩展的体系结构，涵盖了其当前的功能，并证明了Pono与最先进的工具具有竞争力 主页： https://link.springer.com/chapter/10.1007/978-3-030-81688-9_22 源代码： https://github.com/upscale-project/pono 关键词： 符号模型检查；波诺；基于SMT；模型检查器；开放源代码；github；C类++；科萨2 相关软件： 尤瑟斯；CoSA公司；英国皇家海军陆战队；转向器；第2类；谷歌测试；z3（零3）；PySMT公司；数学SAT5；赛马拉松；CVC4型；SMT-LIB公司；pytest测试；Smt-Switch开关；爱格；GNU并联；卢斯特；JKind公司；常春藤；验证2SMV 引用于： 2文件 标准条款 1出版物描述软件 年份 Pono：一种灵活且可扩展的基于SMT的模型检查器链接Makai Mann、Ahmed Irfan、Florian Lonsing、Yahan Yang、Hongce Zhang、Kristopher Brown、Aarti Gupta、Clark Barrett 2021 全部的 前5名12位作者引用 1 克拉克·W·巴雷特。 1 克里斯托弗·布朗 1 卡勒布·多诺维克 1 马蒂亚斯·古德曼 1 阿利森·古曼 1 艾哈迈德·伊尔凡 1 马凯·曼 1 克劳斯·里德尔 1 林赛·特恩茨 1 塞萨尔·蒂内利 1 阿玛莉·威尔逊 1 尤尼·佐哈尔 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文