Formal method翻译成形式化方法，搞得务实的人都不愿意研究它
【 在 ZHMZFFL 的大作中提到: 】
: https://static.mysmth.net/nForum/att/Programming/217271/247/large "单击此查看原图"](https://static.mysmth.net/nForum/att/Programming/217271/247)  
: https://
: ..................

发自「今日水木 on BRA-AL00」
--
FROM 39.144.105.*