×

玛丽

swMATH ID: 12882
软件作者: 莫尼卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克
描述: MARCIE–有效地进行了模型检查和可达性分析。MARCIE是一种分析广义随机Petri网的工具,它可以通过奖励来增强。支持的分析方法包括从定性和定量标准属性到已建立时序逻辑的模型检查。MARCIE的有界Petri网模型分析引擎基于区间决策图。它们由模拟引擎和近似引擎进行补充,以允许对无界模型进行定量推理。大多数定量分析都得益于多线程实现。本文概述了MARCIE的功能和体系结构,并报告了最近添加的CSRL和PLTLc模型检查功能。
主页: http://www-dssz.informatik.tu-cottbus.de/dssz/Software/Marcie
关键词: 广义随机Petri网;模型检查;模拟
相关软件: 清爽;棱镜;SABRE公司;TAPAAL公司;查理;GreatSPN公司;ITS工具;TINA公司;CADP公司;自旋蛋白;MRMC公司;生物-PEPA;NuSMV公司;重复性包;FDR3公司;LTSmin公司;SBML测试套件;信息;梅德利;聪明的_
引用于: 8文件

标准条款

1出版物描述软件 年份
MARCIE——高效地进行模型检查和可达性分析
莫尼卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦里克
2013

按年份列出的引文