搜索
体验新版
<
一亩三分地»论坛 › 专业技术 › 刷题 › 关于formal method
返回列表 发新帖
查看: 880| 回复: 0
跳转到指定楼层
上一主题 下一主题
收起左侧

[其他] 关于formal method

刷题
🔗
chenxizhibi | 只看该作者 |倒序浏览
全局：

注册一亩三分地论坛，查看更多干货！

您需要 登录 才可以下载或查看附件。没有帐号？注册账号

x
现在做作业可以选择vdm和alloy 请问这两个工具相比哪个在实际中用到的更多/更有用呢?

贴上这两个的链接 https://en.wikipedia.org/wiki/Vienna_Development_Method
alloy https://en.wikipedia.org/wiki/Alloy_(specification_language)

谢谢~

评分

参与人数 1大米 +2 收起 理由
14417335 + 2

查看全部评分


上一篇：一个方法让你秒杀所有递归题
下一篇：LeetCode网站 Adobe, Bloomberg, Oracle, Uber 最近半年高频题

相关帖子
回复

使用道具 举报

返回列表 发新帖
B Color Link Quote Code
您需要登录后才可以回帖 登录 | 注册账号
隐私提醒：
  • ☑ 禁止发布广告，拉群，贴个人联系方式：找人请去🔗同学同事飞友，拉群请去🔗拉群结伴，广告请去🔗跳蚤市场,和 🔗租房广告|找室友
  • ☑ 论坛内容在发帖 30 分钟内可以编辑，过后则不能删帖。为防止被骚扰甚至人肉，不要公开留微信等联系方式，如有需求请以论坛私信方式发送。
  • ☑ 干货版块可免费使用 🔗超级匿名：面经（美国面经、中国面经、数科面经、PM面经），抖包袱（美国、中国）和录取汇报、定位选校版
  • ☑ 查阅全站 🔗各种匿名方法

本版积分规则

>
快速回复 返回顶部 返回列表