课题基金 / 基金详情

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

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
关键词：
WorkshopProgramVerifierGrandChallenge

项目摘要

项目成果

Natarajan Shankar的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项由NSF和NSA共同资助，用于开展两个相关活动，一个研讨会和一个关于程序验证的IFIP工作会议。这些活动的目的是制定一个全球规模的战略，以应对计算机科学的“重大挑战”，这是一个工业强度的程序验证器。研讨会和会议将确定在规划规范、规划分析、验证以及相关工具和技术方面的进展，以便制定一项战略，将它们整合起来，以实现这一愿景。该活动通过联邦网络和信息技术研究与发展计划中的高可信度软件和系统协调小组进行协调。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CISE/SHF: Summer School on Formal Techniques
  • 批准号：
    2308981
  • 项目类别：
    Standard Grant
  • 资助金额：
    $49.95万
  • 财政年份：
    2023
  • 负责人：
    Natarajan Shankar
  • 依托单位：
    SRI International
FMitF: Formal Methods in the Field Bootcamp
  • 批准号：
    1940795
  • 项目类别：
    Standard Grant
  • 资助金额：
    $9.98万
  • 财政年份：
    2020
  • 负责人：
    Natarajan Shankar
  • 依托单位：
    SRI International
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
  • 批准号：
    2016597
  • 项目类别：
    Standard Grant
  • 资助金额：
    $56.86万
  • 财政年份：
    2020
  • 负责人：
    Natarajan Shankar
  • 依托单位：
    SRI International
CISE/SHF: Summer School on Formal Techniques
  • 批准号：
    1822342
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $29.94万
  • 财政年份：
    2018
  • 负责人：
    Natarajan Shankar
  • 依托单位：
    SRI International
海外基金