MC2公司 swMATH ID: 12883 软件作者： 罗宾·唐纳森 描述： MC2（PLTLc）是一个蒙特卡罗模型检查器，用于在具有数值约束的概率线性时间-时间逻辑（PLTLc）中编写的属性。模型检查器以模拟输出文件的形式接受一组跟踪作为输入。它还接受包含PLTLc属性列表的查询文件作为输入，并为每个属性返回跟踪集满足该属性的概率。MC2（PLTLc）还可以计算属性内自由变量的概率域；因此，很容易计算特征的分布，例如峰值出现的时间。MC2（PLTLc）可以使用随机/确定性模拟输出、确定性参数扫描输出甚至湿式激光数据。MC2（PLTLc）是格拉斯哥大学生物信息学研究中心开发的。 主页： 网址：http://people.brunel.ac.uk/~csstdrg/courses/glasgow_courses/website_sysbiomers/software/mc2/ 相关软件： 棱镜；伊米尔；MRMC公司；COSMOS公司；CPN/工具；Gecode公司；清爽；玛丽；PNML公司；日晷；生物CHAM 引用于： 4文件 全部的 前5名10位作者引用 2 玛丽安·盖奥吉 2 萨瓦斯·科努尔 1 穆罕默德·埃敏·巴克尔 1 保罗·巴拉里尼 1 西普里安·德拉戈米尔 1 玛丽亚·路易斯·格雷罗 1 佛罗伦萨伊帕特 1 纳塔利奥·克拉斯诺戈尔 1 克里斯蒂安·罗尔 1 斯坦内特，迈克 2篇连载文章中引用 1 理论计算机科学 1 计算机基础理论 在2个字段中引用 4 计算机科学（68至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文