课题基金 / 基金详情

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
海外基金