国际象棋 swMATH ID: 23089 软件作者： Musuvathi M、Qadeer S、Ball T 描述： CHESS：并发软件的系统测试工具。并发性是系统软件的一个基本属性。异步计算是操作系统、数据库和web服务器等重要软件组件的规范。随着多核体系结构进入主流桌面计算机，我们很可能会看到多线程在应用软件中的使用也在增加。不幸的是，并发程序的设计是一项非常具有挑战性的任务。此任务的主要智能困难在于推理并发执行线程之间的交互。不确定性线程调度使得从程序的一次运行到另一次运行的行为极难再现。因此，调试并发软件的过程变得单调乏味，导致程序员的生产力急剧下降。由于并发性很重要，而且很难纠正，因此我们必须开发技术和工具来自动检测和查明并发程序中的错误。 主页： https://link.springer.com/chapter/10.1007/978-3-540-71410-1_2 相关软件： 橡皮擦;veriSoft软件;航空工业组织;CIL公司;赛车X;CBMC公司;爪哇格兰德;检查围栏;单轨;Velodrome公司;雾化器;Java PathFinder;BIDE公司;CloSpan公司;C触发器;猎鹰;快速通道;b拉链2mp;前缀跨度;金发姑娘 引用于： 5文件 全部的 前5名16位作者引用 三 王超 2 阿尔蒂·古普塔 1 Pratyush阿加瓦尔 1 克里希南德·查特吉 1 马来K·加奈。 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 苏雷什·贾甘纳森 1 Sudipta昆都 1 利马耶·里希克什 1 卡提克·纳加尔 1 Shreya Pathak 1 安德烈亚斯·帕夫罗甘尼斯 1 Tabaei Befrouei，米特拉 1 维克托·托曼 1 格奥尔格·魏森巴赫 1 杨瑜（Yang，Yu） 2篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文