Velodrome公司 swMATH ID: 8925 软件作者: 弗拉纳根·C、弗伦德·SN、易·J 说明: Velodrome:用于多线程程序的完善的动态原子性检查器。原子性是多线程程序中的一个基本正确性属性,这既是因为原子代码块易于进行顺序推理(这大大简化了正确性参数),也是因为原子性冲突通常会揭示程序同步结构中的缺陷。不幸的是,迄今为止开发的所有原子性分析都是不完整的,因为它们可能会对正确同步的程序产生错误警报,这限制了它们的实用性。我们对原子性进行了第一次完整的动力学分析。分析目标程序的观察跟踪中操作之间的确切依赖关系的原因,当且仅当观察跟踪不可冲突序列化时,它才会报告错误消息。尽管精度有了显著提高,但我们分析的性能和覆盖范围与早期的原子性不完全动态分析相比是有竞争力的。 主页: http://dl.acm.org/citation.cfm?id=1375618 相关软件: 雾化器;单轨;检查围栏;航空工业组织;github;JavaScript脚本;快速通道;反链;金发姑娘;自旋蛋白;活力;CBMC公司;国际象棋;CIL公司;爪哇格兰德;橡皮擦;Java PathFinder;veriSoft软件;j预测器 引用于: 5文件 全部的 前5名被15位作者引用 2 马来K·加奈。 2 阿尔蒂·古普塔 2 利马耶·里希克什 2 王超 1 艾哈迈德·博阿贾尼 1 迈克尔·埃米 1 康斯坦丁·埃纳 1 阿扎德法尔赞 1 拉希德·格拉乌伊 1 托马斯·亨辛格。 1 Sudipta昆都 1 帕塔萨拉西马杜苏丹 1 布尔库·库拉希奥格鲁·奥兹坎 1 瓦苏·辛格 1 塞尔达尔·塔西兰 2篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文