退出
我的积分:
中文文献批量获取
外文文献批量获取
张建民; 黎铁军; 张峻; 庞征斌; 李思昆;
国防科学技术大学计算机学院;
功能验证; 形式化方法; 谓词抽象; 布尔可满足性; 最小不可满足子式;
机译:带有索引谓词的谓词抽象
机译:过渡谓词抽象在线性混合自动机非零度公平性验证中的应用
机译:谓词抽象中基于反例的谓词发现
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:基于谓词的语义索引:置换是在语义空间中编码谓词的一种手段
机译:使用可满足性检查,谓词抽象和克雷格插值进行验证
机译:基于模板的方法来发现谓词抽象中的析取和量化不变式
机译:至少部分地基于指示资源抽象量的所请求资源类别的参考,由数据中心的编程模型抽象层分配资源以满足服务请求的方法
机译:为谓词执行系统中分支反转获得的逆谓词表达式中的未实现谓词分配自由寄存器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。