玛丽 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公司;钙磷;自旋蛋白;MRMC公司;生物-PEPA;NuSMV公司;可视化DSD;重复性包;FDR3公司;LTSmin公司;SBML测试套件;信息;梅德利 引用于: 8文件 标准条款 1出版物描述软件 年份 MARCIE——高效地进行模型检查和可达性分析莫尼卡·海纳;克里斯蒂安·罗尔(Christian Rohr);马丁·施瓦克 2013 全部的 前5名26位作者引用 三 吉·斯尔巴 2 亚历山大·比尔格拉姆 2 莫妮卡·海纳 2 彼得·格约尔·詹森 2 Marta Z.Kwiatkowska。 2 克里斯蒂安·罗尔 2 Peter H.Taankvist。 1 巴伯,贝诺 1 玛丽·安(Mary Ann Blätke) 1 卢博什·布里姆 1 科什卡,米兰 1 安德烈亚斯·恩格尔布雷特·达尔斯加德 1 Dannenberg,弗里茨 1 瑟伦·埃内沃德森 1 彼得·福格 1 大卫·吉尔伯特 1 恩斯特·莫里茨·哈恩 1 Lasse S.延森。 1 托拜厄斯·杰普森。 1 伊莎贝拉·考夫曼 1 金·古德斯特兰·拉森 1 沃尔夫冈·马尔旺 1 尼尔森,Søren M。 1 Mads Christian奥列森 1 塞缪尔·帕斯特瓦 1 Šafránek,大卫 3篇连载文章中引用 1 美国计算机学会模型和计算机仿真汇刊 1 计算机基础理论 1 自然计算 在4个字段中引用 7 计算机科学(68至XX) 三 生物学和其他自然科学(92-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 按年份列出的引文