Tags
2 个页面
Formal-Verification
一行代码都不运行，为什么能证明程序“绝对没有Bug”？形式化验证与模型检测的科学
类型理论与柯里-霍华德同构：命题=类型、证明=程序的深远和谐
