kPWorkbench公司

kworkbench:kernelp系统的软件框架。kworkbench是一个软件框架,开发用于支持内核P系统的计算分析。该框架集成了一组工具和翻译器,这些工具和转换器连接了用kP语言编写的kP系统模型所使用的几个目标规范。kPWorkbench允许使用多种仿真和验证方法和工具对kP系统模型进行仿真和正式验证。该框架具有一个本地模拟器kPWorkbench模拟器,允许对kP系统模型进行仿真。此外,它还集成了FLAME simulator,这是一个基于agent的通用仿真环境,基于一种方法,可以将kP系统表示为一组通信的X机器。kworkbench的模型检查环境允许对kernelp系统模型进行形式化验证。该框架通过使用SPIN和NUSMV模型检验器支持线性时态逻辑(LTL)和计算树逻辑(CTL)属性。定义了一种属性语言,它由一系列表示形式属性模式的自然语言语句组成,并从中自动生成SPIN和NUSMV公式的形式语法

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换