CUDA; formal verification; symbolic analysis; SPMD;
机译:CUDA程序的符号验证程序
机译:ESBMC-GPU一个上下文关联的模型检查工具,用于验证CUDA程序
机译:将基于序列化的多线程C程序验证与符号性部分顺序缩减相结合
机译:CUDA程序的符号验证者
机译:MASS CUDA:从基于代理的建模框架中抽象出许多核心并行编程。
机译:量子耦合突变发现器:使用量子詹森-香农散度和CUDA编程预测蛋白质中功能上或结构上重要的位点
机译:使用符号执行和不变生成验证Java程序