退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN102663191B
专利类型发明专利
公开/公告日2014-07-23
原文格式PDF
申请/专利权人 西安电子科技大学;
申请/专利号CN201210102064.3
发明设计人 段振华;何佳;田聪;王小兵;
申请日2012-04-09
分类号G06F17/50(20060101);
代理机构61205 陕西电子工业专利中心;
代理人程晓霞;王品华
地址 710071 陕西省西安市太白南路2号
入库时间 2022-08-23 09:19:57
法律状态公告日
法律状态信息
法律状态
2014-07-23
授权
2012-11-07
实质审查的生效 IPC(主分类):G06F 17/50 申请日:20120409
实质审查的生效
2012-09-12
公开
机译: 基于模型的投影数据结构检测方法及装置
机译: 基于模型的投影数据结构检测方法和装置
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:命题投影时间逻辑的基于规范形式的决策程序和模型检查方法
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:加权解释系统和线性线性时序逻辑的基于SAT的边界模型检查
机译:在命题SAT解算器中提高推论的有效性。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:基于SAT的布尔和线性数学命题公式求解方法。
机译:基于petri网展开和saT的模型检测中最短违规痕迹的计算