新闻/事件
五月23 2009	NFLSAT公司 二进制释放
七月31 2007	VCEGAR 1.3版 二进制释放
七月15 2006	VCEGAR v1.0版本 二进制释放
五月20 2006	卫星Mate 二进制释放
3月24 2005	VCEGAR版本0.9 二进制释放
2月15 2005	CMU-WISC公司MURI审查会议弗吉尼亚州阿灵顿
八月16 2004	CMU-WISC公司MURI审查会议马里兰州安纳波利斯
十一月12-13 2003	CMU-WISC公司MURI审查会议,细节
八月03 2003	CBMC公司 二进制释放
七月29 2003	魔法0.1源释放
七月22-23 2003	CMU-WISC公司MURI审查会议,细节
五月1-2 2003	车间高可靠嵌入式系统，细节
简9-10 2003	CMU-UPenn公司混合和嵌入式系统研讨会,细节,Allenberry度假村
12月7 2002	接头CMU-WISC ONR研讨会细节
十一月5 2002	锂棕褐色, 基于证据的验证,摘要 下午3:30-下午4:30 7220 Wean Hall
10月8 2002	詹弗兰科恰尔多，计算机教授威廉玛丽学院科学 利用结构信息实现高效符号状态空间发电,摘要 7220 Wean Hall下午3:30-5:00
10月4 2002	J。斯特罗特·摩尔、教授和德克萨斯大学奥斯汀分校计算机科学系主任 关于Java和JVM的定理证明,摘要 上午10:00-11:30 4623 Wean Hall