视频e研讨会
在这个网络研讨会系列的第7部分中,我们讨论了使用Polyspace嵌入式软件的形式验证。在这个工作流Polyspace提供了两种功能。第一个是包含MISRA交流自动增益控制合规检查包括自定义编码规则的能力的作者。第二,更重要的是,应用程序的正式的方法来证明软件没有运行时错误。类似于之前介绍的概念与模型设计验证人财产证明,Polyspace使用正式的方法来证明没有运行时万博1manbetx错误。
记录:2013年3月31日
桥接无线通讯与MATLAB设计和测试
反馈
特色产品
查看更多相关视频
选择一个网站
选择一个网站翻译内容,看到当地事件和提供。根据你的位置,我们建议您选择:。
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。
联系你当地的办公室
