引用人
奈贾提F 加纳A 雅普N 贾法尔A (2021) 基于组件的软件验证中状态空间爆炸的处理:综述 IEEE接入 10.1109/通道2021.3081742 9 (77526-77544) 在线发布日期:2021年 奥萨马·M 威伊斯A (2021) 用ParaFROST加速有界模型检验的GPU 计算机辅助验证 10.1007/978-3-030-81688-9_21 (447-460) 在线发布日期:2021年7月20日 反转O 特鲁比亚尼C 古普塔R 沈X (2020) 多线程程序的并行和分布式有界模型检查 第25届ACM SIGPLAN并行编程原理与实践研讨会论文集 10.1145/3332466.3374529 (202-216) 在线发布日期:2020年2月19日 显示更多引用者