CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 程序验证
此标签下有4条笔记。
2026年4月21日
Hoare三元组
离散数学
程序验证
形式逻辑
断言
2026年4月21日
循环不变量
离散数学
程序验证
算法设计
循环
2026年4月21日
程序正确性
离散数学
程序验证
形式方法
软件工程
2026年4月20日
5.5 程序正确性
离散数学
程序正确性
Hoare三元组
循环不变量
部分正确性
程序验证
学习/离散数学/归纳与递归