系统验证是研究系统通信和信息处理基本原理的领域。它是计算机科学和改进软件开发的下一个逻辑步骤。它允许根据系统的行为模型进行自动分析，以了解系统是否能正确工作。我们希望保证系统能准确地完成它应该做的事情。系统验证技术可以证明系统不存在错误。它可以设计出结构合理的 Embedding 系统行为，其副作用是迫使你使行为变得简单而有洞察力。这意味着系统不仅行为正确，而且更易于维护和调整。流程行为建模 "是 "自动机和行为等价 "的后续 MOOC。本 MOOC 将向您展示如何建立流程行为模型，特别是 Protocol 和 Distributed Systems，深入研究系统行为的属性，并保持简单以避免状态空间爆炸。阅读材料J.F. Groote 和 M.R. Mousavi.通信系统的建模与分析》。麻省理工学院出版社，2014 年。 本课程是《系统验证》课程集的第 2 部分。系统验证》作为一套课程，是 28Digital 在线课程 "通过嵌入式系统实现物联网 "的一部分。
系统验证 (2)：流程行为模型
您将学到什么
了解说明和分析系统通信和信息处理的正规技术。
应用流程代数概念，包括动作、递归、同步和通信运算符
构建和使用正式数据类型、集合、列表、函数和结构化规范，进行系统建模
分析分布式算法和并发系统，如彼得森互斥算法
您将获得的技能
要了解的详细信息
可分享的证书
添加到您的领英档案
作业
3 项作业
授课语言：英语（English）
了解顶级公司的员工如何掌握热门技能
人们为什么选择 Coursera 来帮助自己实现职业发展
Felipe M.
自 2018开始学习的学生
''能够按照自己的速度和节奏学习课程是一次很棒的经历。只要符合自己的时间表和心情，我就可以学习。'
Jennifer J.
自 2020开始学习的学生
''我直接将从课程中学到的概念和技能应用到一个令人兴奋的新工作项目中。'
Larry W.
自 2021开始学习的学生
''如果我的大学不提供我需要的主题课程，Coursera 便是最好的去处之一。'
Chaitanya A.
''学习不仅仅是在工作中做的更好：它远不止于此。Coursera 让我无限制地学习。'
