命令序列

Cseq:一个用于C(竞争贡献)序列化的序列化工具,它将并发程序转换成等价的非确定性序列程序,从而不再需要显式地处理不同的并发调度。因此,它可以作为许多顺序程序验证技术的并发预处理器。CSeq实现了C的顺序化,并使用ESBMC作为顺序验证后端[5]。

zbMATH中的参考文献(参考文献5条,1标准件)

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. 拜尔,德克;古尔瓦尼,苏米特;Schmidt,David A.:结合模型检查和数据流分析(2018)
  2. 耶奥列卡尔,阿南德;马杜卡尔,库马尔;布塔达,迪帕利;Venkatesh,R.:使用时间戳的顺序化(2017)
  3. 倒转;托马斯科,埃梅内吉尔多;费舍尔,伯恩德;拉托雷,萨尔瓦托;Parlato,Gennaro:Lazy cseq:C的惰性序列化工具(竞争贡献)(2014)ioport公司
  4. 拜尔,德克:软件验证的第二次竞赛。(2013年SV-COMP摘要)(2013年)ioport公司
  5. 费舍尔,伯恩德;奥马尔Inverso;Parlato,Gennaro:Cseq:C的顺序化工具(竞争贡献)(2013)ioport公司