RPAL语言相关硕士博士期刊学术论文 - 搜论网

RPAL语言相关论文

基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA......

期刊

RPA框架 RPAL语言运行时程序验证程序插桩布尔逻辑事实推理 RPA framework RPAL language runtime program

看过本文同时还关注