AI 助理
备案控制台
开发者社区 问答 正文

对于Spec的理解？

对于Spec的理解？

展开
收起
商陆呀 2022-05-09 21:13:55 385 分享 版权

版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。

1 条回答
写回答
取消 提交回答
  • 游客x3a254b44ahsk

    Spec定义了系统的行为，如图3描述了单比特时钟的行为，Init将clock初始化为0或1，Tick让clock在0和1之间来回跳转，Stutter让clock保持不变。TLA+运行的过程其实就是在图上做遍历。

    2022-05-10 18:13:33
    赞同 展开评论
问答地址：
开发者社区 > 云计算 > 问答
相关问答
this xml file does not appear to have any style in
48994
10
0
请问下 我访问接口不通 什么原因 Provisional headers are shown
2177
0
0
通过www和不带www的网址输入最终都指向www.我的域名.com，求指教
127055
28
0
购买阿里国外的云服务器是否可以访问谷歌？
81015
47
0
OSS的endpoint如何查看
36475
6
0
sql server的用户名和密码怎么查啊？
35854
21
0
配置了安全组规则，端口还是无法访问
32459
25
0
手机弹出支付风险问题
6232
2
0
域名在腾讯云备案成功，解析到阿里云服务器，提示仍需备案？
59710
30
0
设置域名解析如何指向我的服务器url包括端口号
17690
2
0