先收集起来

https://www.moritz.systems/blog/an-introduction-to-formal-verification/

https://dafny.org/

https://news.ycombinator.com/item?id=46294574

内核中这个目录的东西是做什么的? tools/verification/models/sched/

本站所有文章转发 CSDN 将按侵权追究法律责任，其它情况随意。