Prover-标签”的相关资讯
共1条
  • MathWorks 引入两款 Polyspace 代码验证新产品

    MathWorks近日宣布引入两款新的代码验证工具以扩充其Polyspace产品系列:PolyspaceCodeProver和PolyspaceBugFinder。此外,公司还于同时宣布推出2013b版。新增的这两款产品提供了端到端软件验证功能

    分享到:
    2013-09-10 14:52

资讯排行榜

  • 每日排行
  • 每周排行
  • 每月排行

华强资讯微信号

关注方法:
· 使用微信扫一扫二维码
· 搜索微信号:华强微电子