kP工作台 swMATH ID: 19654 软件作者： Gheorghe，M.、Ipate，F.、Mierla，L.、Konur，S。 描述： kPWorkbench：用于内核P系统的软件框架。kPWorkbench是一个软件框架，用于支持内核P系统的计算分析。该框架集成了一组工具和翻译器，这些工具和翻译者将用于kP系统模型的多个目标规范用kP-Lingua编写。kPWorkbench允许使用多种仿真和验证方法和工具对kP系统模型进行仿真和正式验证。该框架具有一个本地模拟器kPWorkbench simulator，允许模拟kP系统模型。此外，它还集成了FLAME模拟器，这是一个通用的基于代理的大规模仿真环境，基于一种允许将kP系统表示为一组通信X机器的方法。kPWorkbench的模型检查环境允许对内核P系统模型进行形式化验证。该框架通过使用SPIN和NUSMV模型检查器支持线性时态逻辑（LTL）和计算树逻辑（CTL）属性。定义了一种属性语言，包括一系列表示形式属性模式的自然语言语句，从中自动生成SPIN和NUSMV公式的形式语法 主页： http://kpworkbench.org 相关软件： 自旋蛋白;NuSMV公司;莫德;CompCert公司;ProB公司;罗丹;Coq公司;github;CuSNP公司;火焰;CheCL公司;Hadoop公司;G-Hadoop公司;开放运算语言;CUDA公司 引用于： 5文件 全部的 前5名被13位作者引用 3 玛丽安·盖奥吉 3 萨瓦斯·科努尔 3 莱夫蒂卡鲁，拉鲁卡 3 伊奥努·米海·尼古列斯库 2 佛罗伦萨伊帕特 2 劳伦·米尔勒 1 亨利·纳蒂维达·阿多纳 1 Bakir、Mehmet Emin 1 刘业洲 1 路易斯·费利佩·马西亚斯·拉莫斯 1 拉杜·尼科尔斯库 1 迈克·斯坦内特 1 孙静 2篇连载文章中引用 2 膜计算杂志 1 理论计算机科学 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文