形式化方法的研究方向到底是干什么的？ 第1页
1
david-dong-20 网友的相关建议:
想马上就可以实际使用的话千万别做formal method啊，去做机器学习吧，容易上手容易出成果。工业界对有用没用最敏感了，你去搜索看看职位，看看全世界有多少formal method的工作吧。不能说它完全没用，有很多人确实在用formal method做验证提升系统可靠性稳定性安全性等。但是这个还是相对比较小众的，因为难度比较高，出结果比较慢。快速实用的东西做机器学习是最方便的。
1
相关话题
计算复杂性理论是否具有足够的现实意义，如今有哪些比较「现实」的应用？如何看待全球超级计算机 TOP 500 榜单日本登顶，中国跌出前三？近年中国超算发展现状如何？
即将发布的m1x Macbook Pro适合大学生吗？
「贝塞尔曲线」有哪些作用和特点，该如何正确使用？
什么是动态规划（Dynamic Programming）？动态规划的意义是什么？
为什么C语言整型常量十进制形式的类型与八进制、十六进制的不一样？
为什么好多人说大牛都玩Unix/Linux？
关于三次握手和四次挥手，面试官想听到怎样的回答？
Python如何调用一个py文件并输出部分行内容？
大佬们，我应该选啥研究方向？
下一个讨论
计算机（CS）专业大学生怎样平衡绩点和编程能力？
相关的话题
易语言那么不入流吗？为什么埃式筛法的时间复杂度是O(nloglogn)？
为什么机器人研究了几十年，还是给人感觉没有太大进展？
有哪些事实没有一定计算机知识的人不会相信？
linux如何赋予用户sudo权限？
计算机图形学有哪些著名的论文？
如何评价全球定位系统（GPS）周计数器即将第二次归零这一事件？
2022 年初，你认为哪项成果代表了现在人工智能的最高水平？
如何看待 2020 年 1 月 15 日国产统一操作系统 UOS 20 正式版发布？它能普及开来吗？
如何看待这份2018互联网校招高薪清单？
计算机专业必读哪些经典书籍？
数字信号在物理层传输时，本质上是数字信号还是模拟信号，为什么？
如果计算机是中国发明的，键盘应该是怎样的？
为什么中国有超级计算机，但是中国的 CPU 不行？
为什么人会有不吃东西会死这个概念？这是上帝给我们订的预设条件吗？
C++ 有多难？
有没有比图灵机能力更强的计算模型？
如何解决windows上用fwrite()向文件写入内容时末尾的 问题？
人工智能为什么越来越看不懂了？
x86的8和6分别指什么？
物理专业学生应该具备哪些数学素养？
如何看待微博女权发起「拒绝男程序员」活动？
CMU-SV的ECE和德州奥斯汀分校（UTAustin）的SE如何选择？
计算机系统是如何显示一个字符的？
推荐算法岗是否存在严重人才过剩?
TCP 为什么是三次握手，而不是两次或四次？
MRAM、ReRAM和FRAM哪个更好？
写一个操作系统内核有多难？大概的内容、步骤是什么？
如何评价知乎用户@逍遥自在？
造轮子厉害是一种什么样的体验？