课题基金 / 基金详情

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
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=427433
关键词：
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
海外基金