Workshop on the Program Verifier Grand Challenge, February 21-23, 2005, Menlo Park, California

程序验证者大挑战研讨会，2005 年 2 月 21 日至 23 日，加利福尼亚州门洛帕克

• 批准号: 0513856
• 负责人: Natarajan Shankar
• 金额: $ 10.6万
• 依托单位: SRI International
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-02-15 至 2006-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0513856&HistoricalAwards=false
• 关键词: Workshop; Program; Verifier; Grand; Challenge

This award is co-funded by NSF and NSA to enable two linked activities, a Workshop and an IFIP Working Conference on program verification. The purpose of these activities is to develop a global-scale strategy to respond to a "grand challenge" in computer science, an industrial-strength program verifier. The Workshop and the Conference will identify advances in program specification, program analysis, verification, and related tools and techniques, in order to develop a strategy for their integration to achieve this vision. This activity is coordinated through the High Confidence Software and Systems Coordinating Group in the Federal Networking and Information Technology Research and Development Program.

该奖项由NSF和NSA共同资助，用于开展两个相关活动，一个研讨会和一个关于程序验证的IFIP工作会议。这些活动的目的是制定一个全球规模的战略，以应对计算机科学的“重大挑战”，这是一个工业强度的程序验证器。研讨会和会议将确定在规划规范、规划分析、验证以及相关工具和技术方面的进展，以便制定一项战略，将它们整合起来，以实现这一愿景。该活动通过联邦网络和信息技术研究与发展计划中的高可信度软件和系统协调小组进行协调。