密苏里州立大学化学当量 swMATH ID: 25257 软件作者： Tomasco，E.，Inverso，O.，Fischer，B.，Torre，S.L.，Parlato，G。 描述： MU-CSeq：通过共享内存解绕实现C程序的序列化。我们为多线程C程序实现了一种新的序列化算法，并将动态线程创建作为新的CSeq模块。该算法的新颖基本思想是固定（通过不确定性猜测）共享内存中的写入操作序列，然后根据尊重此选择的任何调度模拟程序的行为。模拟是逐线程进行的，线程创建机制被函数调用取代。 主页： https://link.springer.com/chapter/10.1007/978-3-642-54862-8_30 相关软件： 懒惰的CSeq；CBMC公司；命令序列；SLAM公司；AProVE公司；CEGAR公司；终极Kojak；共生2；C外国人；雅克斯塔布；弗兰肯比特；阿斯特里；卫星抗体；猎户座；螺纹加工工；CPA检查器；捕食者；欧兹；爆炸 引用于： 2文件 全部的 前5名7位作者引用 1 德克·拜尔 1 迪帕利·布塔达 1 苏米特·古尔瓦尼 1 库马尔·马杜卡尔 1 戴维·施密特（David A.Schmidt）。 1 拉金德兰·文卡泰什 1 阿南德·约勒卡尔 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文