×

并发工作台

swMATH ID: 14749
软件作者： P.Stevens等人
说明： 爱丁堡并发工作台：用于描述、探索和自动验证系统的工具。爱丁堡并发工作台摘要：爱丁堡并行工作台（CWB）是一种自动化工具，用于处理并发系统的操作和分析。特别是，CWB允许使用各种不同的流程语义进行各种等价、预订单和模型检查。例如，使用CWB可以：定义CCS扩展版本或SCCS中给定的行为，并对这些行为进行各种分析，例如分析给定过程的状态空间，或检查各种语义等价物和预订单；在强大的模态逻辑中定义命题，并检查给定过程是否满足该逻辑中制定的规范；玩Stirling风格的模型检查游戏，了解为什么流程满足或不满足公式；自动推导出区分非等效过程的逻辑公式；交互式地模拟代理的行为，从而以可控的方式引导它通过其状态空间。
主页： http://homepages.inf.ed.ac.uk/perdita/cwb/
相关软件： CADP公司；SIGREF公司；Uppaal公司；棱镜；洛托斯；NuSMV公司；M-树；克洛诺斯；MRMC公司；fc2工具；mCRL2型；西尔文；BISIMULATOR（双模拟）；CAESAR_解决；MWB公司；Exp.未结；LTSmin公司；APNN-工具箱；TVT电视；规格
引用于： 12文件
全部的 前5名

21位作者引用

2 休伯特·加拉维
1 克里斯蒂安·阿提奥贝
1 Jos C.M.巴滕。
1 彼得·布利切夫（Peter E.Bulychev）。
1 阿兰·邦迪
1 曹永志
1 丹尼斯，路易斯·阿比盖尔
1 贝诺·弗雷金
1 马克·弗拉皮耶
1 罗伯托·戈里埃里
1 格林，伊恩
1 达雷尔·因斯。
1 马克·B·约瑟夫。
1 赫曼吉·K·卡普尔。
1 弗雷德里克·朗
1 彭格利，A.D。
1 格温·萨拉恩
1 Schumann，Johann M.博士。
1 克里斯蒂安·范萨里
1 王汉平
1 杨建南
全部的 前5名

9篇连载文章中引用

1 信息处理信件
1 《计算机杂志》。A部分/B部分
1 编程和计算机软件
1 理论计算机科学
1 计算机程序设计科学
1 信息与计算
1 数学与人工智能年鉴
1 Informatica（卢布尔雅那）
1 理论计算机科学课文。EATCS系列

在3个字段中引用

12 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文