退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将符号执行与模型检查相结合,以验证并行数值程序
Stephen F. Siegel; Anastasia Mironova; George S. Avrunin; Lori A. Clarke;
机译:将符号执行与模型检查相结合以验证并行数值程序
机译:用于模型检查程序的基于公式的抽象和符号执行
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:使用模型检查和符号执行来验证并行数值程序
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用带符号执行的模型检查来验证并行数值程序
机译:将符号模型检查与未解释函数相结合以进行无序处理器验证
机译:使用混合显式和符号模型检查的软件验证
机译:使用偏序和即时交易的并发程序符号模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。