杰科 swMATH ID: 29268 软件作者： Zakeriyan，A.，Khamespanah，E.，Sirjani，M.，Khosravi，R 描述： Jacco是一个用于Java演员程序模型检查的工具集。Jacco目前支持在ActorFoundry Library中编写的演员程序。它生成给定程序的状态空间，并根据安全属性进行分析（基于断言的模型检查）。为了在不修改源代码的情况下执行模型检查，对ActorFoundry库进行了一些修改，并将结果上传到此处。 主页： http://rebeca-lang.org/alltools/Jacco 依赖项： Java语言 相关软件： 石化；UMDES公司；丽贝卡；甲酚 引用于： 1文件 3位作者引用 1 罗莎·阿巴斯 1 法特梅·加塞米 1 拉丁·科斯拉维 连载1篇 1 信息学报 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文