FMitF: Formal Methods in the Field Bootcamp

FMITF:现场训练营的正式方法

基本信息

  • 批准号:
    1940795
  • 负责人:
  • 金额:
    $ 9.98万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2020
  • 资助国家:
    美国
  • 起止时间:
    2020-01-01 至 2023-10-31
  • 项目状态:
    已结题

项目摘要

Formal methods are a branch of computer science that seek to rigorously characterize the behavior of computer software and hardware through mathematical tools and techniques. Formal methods' tools have been rapidly gaining in scale and maturity, but at the same time, digital applications themselves are reaching a level of cost, complexity, and criticality that call out for even advanced rigorous design methodologies supported by formal tools. The past few years have seen rapidly growing adoption of formal tools in domains such as compilers, operating systems, file systems, real-time systems, and cyber-human systems, among others. This award organizes a Bootcamp on Formal Methods in the Field (FMitF) with the objective of training students in the latest advances in the applications of formal techniques in specific domains so that they can undertake ambitious projects. The workshop is scheduled for the last week of May 2020, immediately following the tenth Summer School on Formal Techniques (SSFT). The FMitF Bootcamp aims to create a self-sustaining community of researchers at the cutting-edge of the application of formal methods. The FMitF Bootcamp creates a partnership between domain experts, formal methods experts, and student researchers for developing high-impact, cutting-edge ideas and applications in these individual domains. The FMitF bootcamp is an opportunity for students to develop verified artifacts including algorithms, libraries, infrastructure, and applications. These artifacts can seed more ambitious research projects that take on the challenge of creating trustworthy applications with clear and precise specifications. The SSFT has been received enthusiastically by the participants, and helped develop a well-knit community of young researchers. Co-locating the workshop with the SSFT makes it easier to attract already trained students to the FMitF Bootcamp. The Bootcamp organizers will seek to broaden participation by encouraging attendance from under-represented groups in the computing domain.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
形式化方法是计算机科学的一个分支,它试图通过数学工具和技术来严格描述计算机软件和硬件的行为。形式化方法的工具在规模和成熟度方面都在迅速增长,但与此同时,数字应用本身的成本、复杂性和关键性也在不断提高,这就要求在形式化工具的支持下,采用先进的严格设计方法。在过去的几年里,形式化工具在编译器、操作系统、文件系统、实时系统和网络人类系统等领域的应用迅速增长。该奖项组织了一个正式的方法在现场(FMitF)的训练营,目的是培训学生在特定领域的正式技术应用的最新进展,使他们能够承担雄心勃勃的项目。该研讨会定于2020年5月的最后一周举行,紧接着第十届正式技术暑期学校(SSFT)。FMitF Bootcamp旨在创建一个自我维持的研究人员社区,处于正式方法应用的前沿。FMitF Bootcamp在领域专家,正式方法专家和学生研究人员之间建立了伙伴关系,以在这些领域开发高影响力,尖端的想法和应用程序。FMitF训练营为学生提供了开发经过验证的工件的机会,包括算法,库,基础设施和应用程序。这些工件可以为更雄心勃勃的研究项目提供种子,这些研究项目承担了创建具有清晰和精确规范的可信赖应用程序的挑战。SSFT受到了参与者的热烈欢迎,并帮助发展了一个由年轻研究人员组成的紧密社区。将研讨会与SSFT放在一起,可以更容易地吸引已经接受过培训的学生参加FMitF训练营。训练营的组织者将通过鼓励计算领域代表性不足的团体参加来扩大参与。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Natarajan Shankar其他文献

2018 CAV award
  • DOI:
    10.1007/s10703-021-00375-3
  • 发表时间:
    2021-06-28
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Kim G. Larsen;Natarajan Shankar;Pierre Wolper;Somesh Jha
  • 通讯作者:
    Somesh Jha
Industrial strength formal verification techniques for hardware designs
用于硬件设计的工业强度形式验证技术
JBernstein: A Validity Checker for Generalized Polynomial Constraints
JBernstein:广义多项式约束的有效性检查器
  • DOI:
    10.1007/978-3-642-39799-8_43
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Chih-Hong Cheng;Harald Ruess;Natarajan Shankar
  • 通讯作者:
    Natarajan Shankar
Modular Verification of SRT Division
  • DOI:
    10.1023/a:1008617612073
  • 发表时间:
    1999-01-01
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Harald Ruess;Natarajan Shankar;Mandayam K. Srivas
  • 通讯作者:
    Mandayam K. Srivas

Natarajan Shankar的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Natarajan Shankar', 18)}}的其他基金

CISE/SHF: Summer School on Formal Techniques
CISE/SHF:形式技术暑期学校
  • 批准号:
    2308981
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
CCRI:媒介:协作研究:开源、最先进的符号模型检查框架
  • 批准号:
    2016597
  • 财政年份:
    2020
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/SHF: Summer School on Formal Techniques
CISE/SHF:形式技术暑期学校
  • 批准号:
    1822342
  • 财政年份:
    2018
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Continuing Grant
SHF: Small: M2C: Models to Code
SHF:小型:M2C:模型到代码
  • 批准号:
    1817204
  • 财政年份:
    2018
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/SHF: 2017 Summer School on Formal Techniques
CISE/SHF:2017 年形式技术暑期学校
  • 批准号:
    1714207
  • 财政年份:
    2017
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/CCF: 2016 Summer School on Formal Techniques
CISE/CCF:2016年形式技术暑期学校
  • 批准号:
    1623552
  • 财政年份:
    2016
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/CCF: 2015 Summer School on Formal Techniques
CISE/CCF:2015 年形式技术暑期学校
  • 批准号:
    1519034
  • 财政年份:
    2015
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/CCF: 2014 Summer School on Formal Techniques
CISE/CCF:2014 年形式技术暑期学校
  • 批准号:
    1439327
  • 财政年份:
    2014
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/CCF: 2013 Summer School on Formal Techniques
CISE/CCF:2013 年形式技术暑期学校
  • 批准号:
    1333674
  • 财政年份:
    2013
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
CISE/CCF: 2012 Summer School on Formal Techniques
CISE/CCF:2012 年形式技术暑期学校
  • 批准号:
    1216745
  • 财政年份:
    2012
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant

相似海外基金

Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319400
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319399
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2404036
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2409796
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319401
  • 财政年份:
    2023
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
FMitF Track I: Formal Methods in Software Support for Sound Experimentation
FMITF Track I:声音实验软件支持的形式化方法
  • 批准号:
    2220422
  • 财政年份:
    2022
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
FMitF Track I: Formal Methods in Software Support for Sound Experimentation
FMITF Track I:声音实验软件支持的形式化方法
  • 批准号:
    2330961
  • 财政年份:
    2022
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
FMitF: Track II: FMCloak: Practitioners Using Formal Methods Without Knowing It
FMitF:轨道 II:FMClak:从业者在不知情的情况下使用形式化方法
  • 批准号:
    2123550
  • 财政年份:
    2021
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
FMitF: Track I: Injecting Formal Methods into Internet Standardization
FMITF:第一轨:将形式化方法注入互联网标准化
  • 批准号:
    1918429
  • 财政年份:
    2019
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
FMitF: Track I: Formal Methods for Explainable Machine Learning
FMITF:第一轨:可解释机器学习的形式化方法
  • 批准号:
    1918211
  • 财政年份:
    2019
  • 资助金额:
    $ 9.98万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了