LiQuor公司 swMATH ID: 4136 软件作者： 描述： LiQuor是一种用于验证概率反应系统模型Probmela程序的工具，该程序是概率保护命令语言的术语，具有基于（有限）Markov决策过程的操作语义。LiQuor提供了通过基于自动机的模型检查算法对ω规则线性时间特性进行定性或定量分析的工具 主页： 网址：http://wwwtcs.inf.tu-dresden.de/~ciesinsk/LiQuor/Home.html 相关软件： 棱镜；MRMC公司；拉比尼泽；自旋蛋白；狂喜；伊米尔；NuSMV公司；风暴；通过；参数；ProbDiVinE公司；MoDeST公司；生物-PEPA；LTL2BA公司；DiPro公司；漫画；z3（零3）；cvc3型；CEGAR公司；科幻小说 引用于： 19文件 全部的 前5名43位作者引用 5 塞尔吉奥·吉罗 三 佩德罗·鲁宾·达吉尼奥 三 Marta Z.Kwiatkowska。 三 Legay、Axel 2 克里希南德·查特吉 2 费雷尔·菲奥里蒂，路易斯·玛丽亚 2 Joost-Pieter卡托恩 2 格钦·诺曼 1 艾丽卡·阿尔布拉汉姆 1 克里斯特尔·拜尔 1 巴伯，贝诺 1 贝恩德·贝克尔 1 比斯卡亚，M。 1 贝诺·凯劳德 1 陈、陶璐 1 克拉克（Edmund Melson jun Clarke）。 1 卢卡·德·阿尔法罗 1 贝诺·德拉哈耶 1 亚历山大·唐泽 1 沃尔夫冈·德沃亚克 1 马可·费拉 1 Forejt，Vojtěch公司 1 谢尔盖，哈达德 1 韩婷婷 1 尼尔斯·詹森 1 苏米特·库马尔·贾阿 1 Mark Kattenbelt公司 1 斯特凡·基弗 1 克里斯托弗·詹姆斯·兰米德 1 保罗·C·马特乌斯。 1 亚历山大·梅雷克莱 1 安德烈·穆拉夫斯基。 1 乔尔·欧·瓦克宁。 1 克劳迪娜·皮卡罗尼 1 尼尔·皮特曼 1 曲洪阳 1 马库斯·拉贝。 1 莫妮卡·劳赫·亨津格 1 玛丽·斯托琳加 1 亚历山大·斯沃齐尔 1 比约恩·瓦希特 1 拉尔夫·D·威默。 1 詹姆斯·沃雷尔。 5篇连载文章中引用 三 理论计算机科学 三 系统设计中的形式化方法 1 符号逻辑杂志 1 信息与计算 1 ACM计算逻辑事务 全部的 前5名10个领域引用 19 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 概率论与随机过程（60-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数论（11-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文