Indian Institute of Technology Delhi, New Delhi, India;
Indian Institute of Technology Delhi, New Delhi, India;
Indian Institute of Technology Delhi, New Delhi, India;
Indian Institute of Technology Delhi, New Delhi, India;
机译:使用Smt求解器而非Sat求解器进行软件的有界模型检查
机译:CUDA程序的基于SMT的上下文绑定模型检查
机译:基于SMT的递归程序模型检查
机译:通过不变素描和查询分解,有效地使用SMT求解器进行程序等价检查
机译:高效的SMT解决方案,用于硬件模型检查。
机译:全景射线照相可以作为国家健康检查计划中口腔检查的有效诊断工具
机译:使用SMT求解器而非SAT求解器进行软件的有界模型检查
机译:使用无干扰检查spmD程序的等效性