在这 研讨会我们对在MATLAB®和Simulink®的形式验证技术的实际应用主持讨论。万博1manbetxMathWorks公司的工程师介绍形式验证的主题，并回答大家的提问。

形式化验证自20世纪70年代的方法已经在使用的软件工程。它们的使用，然而，往往局限于特定环境和研究项目。在硬件设计上，这些工具已经进入行业的主流;新的工具和仿真集成等现有的技术保证，使嵌入式软件设计和验证的标志。

形式化验证当今嵌入式软件应用包括：

• 对功能要求设计的验证
• 设计错误检测
• 测试生成
• 模型覆盖率分析
• 运行时错误检测
• 证明不存在运行时错误

注：Simu万博1manbetxlink的验证与确认过渡到Simulink的检查，Simulink的覆盖面，并在R2017b Simulink的要求。

关于主持人：
杰·亚伯拉罕是MathWorks公司的产品营销经理。他的专长领域是软件工具，用于关键的嵌入式应用的验证。他拥有超过20年的软件和硬件设计经验。周杰伦有一个M.S.从锡拉丘兹大学和专业的学士学位计算机工程波士顿大学电气工程。

戈兰贝吉克是MathWorks公司的产品营销经理。他拥有11年的各种代码和设计验证工具和开发过程，包括灵活的，基于模型的设计，以及Rational Unified Process的工作经验。戈兰毕业于克罗地亚萨格勒布大学工程师学位。

Nishaat瓦西是MathWorks公司的产品营销经理。自2007年加入MathWorks公司，Nishaat已与参与高完整性应用到推广采用MathWorks工具软件验证和报告生成的客户合作。他拥有M.S.从马萨诸塞大学和B.E.电气工程电子从孟买大学工程。