Tel Aviv University;
University of Wisconsin;
IBM T.J. Watson Research Center;
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:通过优化验证线性化的定量松弛
机译:综述:并行数据结构的拟线性化的运行时验证
机译:用于验证线性化性的抽象下的比较
机译:将抽象应用于掌握复杂性:将计算机科学专业的抽象能力与其他学科的学生进行比较。
机译:基于抽象的神经网络验证框架
机译:在抽象下进行比较以验证线性化