发文章
发资料
发帖
提问
发视频
0
搜索热词
本文采用有限状态机对嵌入式软件进行建模,使用SMV语言描述状态机模型,并通过符号模型检查工具SMV对SMV语言描述的状态机模型进行验证。
2021-04-28 06:16