博文
形式化方法的另类悖论
||||
神话有待发展，如果神话变成现实，那将大大改善软件技术的未来。
贬低者说----形式化方法是难处理的、高代价的、并没有被广泛应用的。
拥护者说----形式化方法能带来革命性的进展。
1、形式化方法能使软件变得更加完美
2、能够证明程序是正确的
3、能给强约束性、高严格性关键系统开发带来益处
4、涉及复杂数学与逻辑的应用
5、可交流性不好
6、使开发成本上升
7、现实工程很少被应用
Seven myths of formal methods - IEEE Software
https://m.sciencenet.cn/blog-89075-244393.html
上一篇：欧洲计算机科学逻辑协会
下一篇：霍尔的零缺陷程序设计梦想
