课题基金 / 基金详情

AI4FM: using AI to aid automation of proof search in Formal Methods

AI4FM: using AI to aid automation of proof search in Formal Methods
AI4FM：使用人工智能辅助形式化方法中证明搜索的自动化
批准号：
EP/H024204/1
负责人：
Alan Bundy
金额：
$65.45万
依托单位：
University of Edinburgh
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2010
资助国家：
英国
项目状态：
已结题
起止时间：
2010 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FH024204%2F1
关键词：
AI4FMusingAIaidautomation

项目摘要

项目成果

Alan Bundy的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
验证软件：理论、工具和实验 - 第六届国际会议，VSTTE 2014，奥地利维也纳，2014 年 7 月 17-18 日，修订后的精选论文
DOI： 10.1007/978-3-319-12154-3_12
发表时间： 2014
期刊：
影响因子： --
作者： [Freitas L]
通讯作者： Freitas L
Tinker, tailor, solver, proof
修补匠、裁缝、求解器、证明
DOI： 10.4204/eptcs.167.5
发表时间： 2014
期刊： Electronic Proceedings in Theoretical Computer Science
影响因子： --
作者： [Grov G]
通讯作者： Grov G
NASA Formal Methods
NASA 正式方法
DOI： 10.1007/978-3-319-06200-6_18
发表时间： 2014
期刊：
影响因子： --
作者： [Bardsley E]
通讯作者： Bardsley E
The Tinker tool for graphical tactic development
用于图形战术开发的 Tinker 工具
DOI： 10.1007/s10009-017-0452-7
发表时间： 2017
期刊： International Journal on Software Tools for Technology Transfer
影响因子： 1.5
作者： [Grov G]
通讯作者： Grov G
共 10 条
    Interpreting and integrating mismatched data on the fly
    • 批准号：
      EP/J020524/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $7.48万
    • 财政年份：
      2012
    • 负责人：
      Alan Bundy
    • 依托单位：
      University of Edinburgh
    The potential of automated reasoning tools to assist the working mathematician
    • 批准号：
      EP/H023119/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $12.82万
    • 财政年份：
      2010
    • 负责人：
      Alan Bundy
    • 依托单位：
      University of Edinburgh
    Ontology Evolution in Physics
    • 批准号：
      EP/G000700/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $48.6万
    • 财政年份：
      2008
    • 负责人：
      Alan Bundy
    • 依托单位：
      University of Edinburgh
    Automated Theorem Discovery
    • 批准号：
      EP/F033559/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $52.73万
    • 财政年份：
      2007
    • 负责人：
      Alan Bundy
    • 依托单位：
      University of Edinburgh
    国内基金
    海外基金
    Capture and Release of Droplets Using Advanced Materials for High Technology Applications
    • 批准号：
      52073127
    • 项目类别：
      面上项目
    • 资助金额：
      58.0万元
    • 批准年份：
      2020
    • 负责人：
      Alidad Amirfazli
    • 依托单位：
      江苏理工学院
    Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data