科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Loopfrog:用于ANSI-C程序的静态分析器
Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger;
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:使用SAT的ANSI-C程序的谓词
机译:用于多线程Java程序的通用静态分析器
机译:使用静态程序分析检测OpenMP程序中的并发错误。
机译:混合波动:连续环境中数值程序的静态分析器
机译:使用saT预测aNsI-C程序的抽象
机译:静态时序分析器,用于制造计算机处理器的静态时序分析和介质存储计算机程序的方法,用于分析静态时序
机译:SQL静态分析程序和SQL静态分析器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。