课题基金 / 基金详情

SAVE: towards a foundation for safe and verified software

SAVE: towards a foundation for safe and verified software
SAVE：为安全和经过验证的软件奠定基础
批准号：
298177-2007
负责人：
Pientka, Brigitte
金额：
$1.97万
依托单位：
McGill University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2008
资助国家：
加拿大
项目状态：
已结题
起止时间：
2008-01-01 至 2009-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=395947
关键词：
SAVEtowardsfoundationsafeverified

项目摘要

项目成果

Pientka, Brigitte的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Today, software is an integral part of our infrastructure, and our society increasingly depends on its proper functioning. While we have made substantial progress in creating software tools for proving shallow properties of programs, one important, often neglected aspect of achieving safe and verified software is the language in which the software is written. We advocate a comprehensive approach which supports modelling the operational behavior of programming languages and allows us to specify and verify general safety properties about programs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Moebius: Logical Principles for Type-Safe Meta-Programming
  • 批准号：
    RGPIN-2022-03224
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.66万
  • 财政年份：
    2022
  • 负责人：
    Pientka, Brigitte
  • 依托单位：
    McGill University
Beluga: Building Trustworthy Software Systems through Programming Proofs
  • 批准号：
    RGPIN-2017-03895
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2021
  • 负责人：
    Pientka, Brigitte
  • 依托单位：
    McGill University
Beluga: Building Trustworthy Software Systems through Programming Proofs
  • 批准号：
    RGPIN-2017-03895
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2020
  • 负责人：
    Pientka, Brigitte
  • 依托单位：
    McGill University
Beluga: Building Trustworthy Software Systems through Programming Proofs
  • 批准号：
    RGPIN-2017-03895
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2019
  • 负责人：
    Pientka, Brigitte
  • 依托单位：
    McGill University
海外基金