研发资源 > 标签 > 图谱
|相关技术

将代码静态分析提高一个层次.Coverity提出布尔可满足性概念

 发布时间：2020-05-18
布尔可满足性(Boolean satisfiability)的概念正在被用于确定软件代码中的[bug".从而保证代码基本上不存在bug.满足编程者的愿望. 在2007年嵌入系统会议上.Coverity宣布了据称是第一种基于布尔可满足性(SAT)的源代 ...<全部>
  • 20
上一个 下一个
|最新活动
第26届高交会元宇宙完美收官，数字化参会体验引爆全场

第26届高交会元宇宙完美收官，数字化参会体验引爆全场
|相关标签
|热门文章
将代码静态分析提高一个层次.Coverity提出布尔可满足性概念

技术

硬件开发 EMC IC封装设计 射频RF 单片机IMCU 信号完整性 FPGA 电源 PCB设计 物联网 PCB工艺 PCBA

阅读

电子汇 最新资讯 EDA365原创吧

资源

公开课 研讨会 在线计算器

互动

论坛 外包
电巢APP下载电巢APP下载
关于我们 ｜ 手机版 ｜ EDA365电子论坛网 (粤ICP备18020198号)
GMT, 2020-03-13 09:00 , Processed in 0.109375 second(s), 13 queries , Gzip On.