|
|
|
@muchan92 #53
我们要解决的问题是维护程序的正确性.
大部分现代程序采用的方式是上 unit test, regression test, 上静态分析
另一条路是写出符合某 specification 的代码, 即 formal verification, 也是你实际上在做的路子.
这是 cs 中 pl 领域的很大一块, low hanging fruit 基本不存在了. 想入门这块可以从 Software Founditions 和 PLFA 看起.
所以 #1 说你是计算机民科是毫不夸张的. |
|