系统验证是研究系统通信和信息处理基本原理的领域。它允许根据系统的行为模型进行自动分析，以确定系统是否能正确运行。我们要保证系统能准确地完成它应该做的事情。系统验证技术可以证明系统不存在错误。它可以设计出结构合理的嵌入式系统行为，其副作用是迫使你使行为变得简单而有洞察力。这意味着系统不仅行为正确，而且更易于维护和调整。通过模态公式提出要求 "是第三门课程，向您展示如何为自动机指定要求，以便在要求和系统行为之间建立正确的关系。阅读材料J.F. Groote 和 M.R. Mousavi.通信系统建模与分析》。麻省理工学院出版社，2014 年。
系统验证 (3)：通过模态公式提出要求
了解顶级公司的员工如何掌握热门技能
该课程共有2个模块
在本模块中，您将学习如何指定对行为的要求。首先将讲解 Hennessy-Milner 逻辑，然后用定点对其进行扩展。使用这种逻辑，你将能正式描述软件行为的几乎所有行为属性。这其中既有简单的属性，如系统无死锁，也有复杂的属性，如 "在仓库中，控制器将指示所有机器人，使我订购的物品在有限时间内确定出现在输出端"。
涵盖的内容
6个视频2篇阅读材料1个作业
本模块详细介绍了模态公式。它展示了如何在公式中使用数据，从而使复杂属性的建模变得更加容易。此外，它还展示了如何在框架中使用嵌套定点算子对公平属性进行建模。最后几讲介绍了参数化布尔方程组和布尔方程组，它们是确定模态公式对特定指定行为有效的重要技术。
涵盖的内容
5个视频1篇阅读材料1个作业
位教师
提供方
人们为什么选择 Coursera 来帮助自己实现职业发展
Felipe M.
自 2018开始学习的学生
''能够按照自己的速度和节奏学习课程是一次很棒的经历。只要符合自己的时间表和心情，我就可以学习。'
Jennifer J.
自 2020开始学习的学生
''我直接将从课程中学到的概念和技能应用到一个令人兴奋的新工作项目中。'
Larry W.
自 2021开始学习的学生
''如果我的大学不提供我需要的主题课程，Coursera 便是最好的去处之一。'
Chaitanya A.
''学习不仅仅是在工作中做的更好：它远不止于此。Coursera 让我无限制地学习。'
从 计算机科学 浏览更多内容
University of Colorado Boulder
