信息 幻灯片 4月28日幻灯片:摘要解读 4月28日幻灯片:摘要解读- 阅读更多… 5月9日幻灯片:一阶逻辑 5月9日幻灯片:一阶逻辑- 阅读更多… 5月23/24日幻灯片:验证条件的生成 5月23/24日幻灯片:验证条件的生成- 阅读更多… 5月17日幻灯片:霍尔微积分 5月17日幻灯片:霍尔微积分- 阅读更多… 5月17日幻灯片:霍尔逻辑 5月17日幻灯片:Hoare Logic- 阅读更多… 4月27日幻灯片:程序验证 4月27日幻灯片:程序验证- 阅读更多… 2003年5月2日幻灯片:命题逻辑 2003年5月2日幻灯片:命题逻辑- 阅读更多… 5月10日幻灯片:可满足性模理论求解器 5月10日幻灯片:可满足性模理论求解器- 阅读更多… 2005年7月4日幻灯片:痕迹提取 05年7月4日幻灯片:痕迹摘要- 阅读更多… 7月11/12日幻灯片:痕迹提取 7月11/12日幻灯片:痕迹提取- 阅读更多… 7月12日幻灯片:转换不变量 7月12日幻灯片:转换不变量- 阅读更多… 7月19日幻灯片:过渡谓词抽象 7月19日幻灯片:过渡谓词抽象- 阅读更多… 7月25日幻灯片:回顾 7月25日幻灯片:回顾- 阅读更多… 7月25日幻灯片:重述注释 7月25日幻灯片:重述注释- 阅读更多… 6月14日幻灯片:可达性分析 6月14日幻灯片:可达性分析- 阅读更多… 6月20日幻灯片:可达性分析 6月20日幻灯片:可达性分析- 阅读更多… 6月21日幻灯片:抽象提炼 6月21日幻灯片:抽象提炼- 阅读更多… 6月27日至28日幻灯片:抽象提炼 6月27日至28日幻灯片:抽象提炼- 阅读更多… 5月31日幻灯片:远期衍生 5月31日幻灯片:远期衍生- 阅读更多… 5月31日幻灯片:可达性分析 5月31日幻灯片:可达性分析- 阅读更多… 5月30日幻灯片:来自警戒命令的验证条件 5月30日幻灯片:来自警戒命令的验证条件- 阅读更多… 5月16日幻灯片:(非常)SMT-LIB简介 5月16日幻灯片:SMT-LIB简介- 阅读更多…