机译:RegionTrack:基于跟踪的声音和完整的检查程序,以调试事务原子性违规和非序列化迹线
机译:SEChecker:基于第$ {K} $个不变式的顺序对等检查框架
机译:使用扩展处理递归的静态仿射程序的等效检查
机译:顺序等效性检查通过可排序检查的实际问题:处理不关心和生成调试迹线
机译:在比较性临床试验中对比例风险假设进行偏差发布和顺序检查。
机译:Covid特别问题第一部分:一个实用指南安全顺序与Covid-19有关的个人防护设备的落下
机译:在不关心和冗余顺序元素的情况下匹配用于顺序等价检查
机译:顺序逻辑综合中的冗余和不关心。