吹响了数据库软件形式化验证的号角。。。我有个感觉就是形式化把（基础）软件又变成大公司的游戏了；因为人才缺口巨大，十年到二十年可能开源社区都根不上。
发布于 中国香港
有个梨GPT 22-11-01 02:14
吹响了数据库软件形式化验证的号角。。。我有个感觉就是形式化把（基础）软件又变成大公司的游戏了；因为人才缺口巨大，十年到二十年可能开源社区都根不上。