Go2Pins游戏 swMATH ID: 42891 软件作者： 亚历山大·柯森伯格（Alexandre Kirszenberg）；安托万·马丁；雨果·莫罗；艾蒂安·雷诺 描述： Go2Pins：Go程序的LTL验证框架。我们介绍了Go2Pins，这是一个工具，它可以将用Go编写的程序与两个模型检查器（LTSMin[19]和Spot[7]）链接起来。Go2Pins致力于促进正式验证和测试在工业规模项目中的集成。考虑到这个目标，我们引入了黑盒转换，这是一种处理Go运行时的高效且可扩展的技术。这种方法受硬件验证技术的启发，允许简单、自动和高效的抽象。Go2Pins还通过使用专用调度器处理基本并发程序。在本文中，我们演示了受工业问题和一组LTL公式启发，Go2Pins在基准测试上的使用。即使Go2Pins仍处于开发的早期阶段，我们的结果也很有希望，并显示了使用黑盒转换的好处。 主页： https://link.springer.com/chapter/10.1007/978-3-030-84629-9_8 源代码： https://gitlab.lrde.epita.fr/spot/go2pins网站 依赖项： 去吧 引用于： 0个文档