退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用SMT求解器下放松内存模型下的装配程序验证框架
Pattaravut MALEEHUAN; Yuki CHIBA; Toshiaki AOKI;
机译:使用SMT求解器的松弛内存模型下的汇编程序验证框架
机译:回到未来:使用SMT求解器重新进行精确的程序验证
机译:在宽松的内存模型下进行验证的有效抽象
机译:使用SMT求解器验证具有宽松内存模型的多处理器的汇编程序
机译:用于RTL验证中的SMT求解器的多线程加速度
机译:具有学习忘记重新启动和增量功能的经过验证的SAT解算器框架
机译:关于松弛记忆模型程序的验证
机译:认证可满足性模块理论(smT)解决系统验证。
机译:认证加密的方法和设备,认证加密程序,存储器介质,具有认证加密程序存储在其上,已验证的解密方法和设备,经认证的解密程序,存储器介质,具有AUTHENTICATED解密程序存储在其上,否认取消方法,判别方法,核实和验证程序,和存储介质具有存储在其中的验证程序
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:使用基于SMT的BMC对并发系统进行建模和验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。