我已经添加了更多的例子。

该文件已被移至GitHub，因为它拥有知识共享版权，不能托管在MathWorks网站上。
我添加了两个在测试中发现的新错误，并且很容易使用正式方法捕获。我有几张关于DO 333和建模指南的幻灯片。
我已经将文件名更改为1_6

我在飞行控制中添加了一个关于正式方法的新章节。
我在飞行控制中添加了一个关于正式方法的新章节。

我添加了一个新的错误，是我们最近发现的(发明的?)这是一个冲洗过滤器。我已经添加了一些关于功能需求覆盖率指标的幻灯片。我已经清理了演示文稿，并提供了一个新的外观。

我还添加了几张幻灯片，介绍了一个休眠错误和交易工具。

我已经根据收到的意见修改了幻灯片。我已经包含了一个检测到的新错误。更新了参考部分。我已经添加了一些关于其他安全标准的幻灯片。