形式化方法专家称其用于真实世界验证繁琐，即便用AI
有趣的是，从形式化方法专家（Hillel Wayne）那里了解到，形式化方法对于许多真实世界的验证/测试来说非常繁琐，即使考虑了使用AI也是如此。
为什么不对所有事情都使用形式化测试？形式化方法顾问Hillel Wayne谈到形式化验证的额外开销：
“例如，与其在列表中找到最大数字，为什么不尝试在目录中找到行数最多的文件呢？
我们 https://t.co/MjYttZIcrx
为什么不对所有事情都使用形式化测试？形式化方法顾问Hillel Wayne谈到形式化验证的额外开销：
“例如，与其在列表中找到最大数字，为什么不尝试在目录中找到行数最多的文件呢？
我们 https://t.co/MjYttZIcrx