并发程序验证

项目介绍
AI项目解读

基本信息

  • 批准号：
    61922039
  • 项目类别：
    优秀青年科学基金项目
  • 资助金额：
    120万
  • 负责人：
    梁红瑾
  • 依托单位：
    南京大学
  • 学科分类：
    F0201.计算机科学的基础理论
  • 结题年份：
  • 批准年份：
    2019
  • 项目状态：
    未结题
  • 起止时间：
    2019至

项目摘要

暂未公布

结项摘要

暂未公布

项目成果

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

暂无数据

数据更新时间：2024-06-01

其他文献

处理指针相等关系不确定的指针逻辑
  • DOI：
    --
  • 发表时间：
    --
  • 期刊：
    软件学报
  • 影响因子：
    --
  • 作者：
    梁红瑾;李兆鹏;张昱;华保健;陈意云
  • 通讯作者：
    陈意云
共 1 条
  • 1
前往
页

相似国自然基金

百草枯靶向STIM1活化PARP3介导肺纤维化的作用机制
  • 批准号：
    82302481
  • 批准年份：
    2023
  • 资助金额：
    30
  • 项目类别：
    青年科学基金项目
钛基骨植入物表面电沉积镁氢涂层及其促成骨性能研究
  • 批准号：
    52371195
  • 批准年份：
    2023
  • 资助金额：
    50
  • 项目类别：
    面上项目
广义四元数代数上的若干超矩阵方程组及应用
  • 批准号：
    12371023
  • 批准年份：
    2023
  • 资助金额：
    43.5
  • 项目类别：
    面上项目
CLMP介导Connexin45-β-catenin复合体对先天性短肠综合征的致病机制研究
  • 批准号：
    82370525
  • 批准年份：
    2023
  • 资助金额：
    49
  • 项目类别：
    面上项目
人工局域表面等离激元高灵敏传感及其系统小型化的关键技术研究
  • 批准号：
    62371132
  • 批准年份：
    2023
  • 资助金额：
    49
  • 项目类别：
    面上项目

相似海外基金

Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
  • 批准号：
    RGPIN-2020-06516
  • 财政年份：
    2022
  • 资助金额：
    3.5
  • 项目类别：
    Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
  • 批准号：
    RGPIN-2020-06516
  • 财政年份：
    2021
  • 资助金额：
    3.5
  • 项目类别：
    Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
  • 批准号：
    RGPIN-2020-06516
  • 财政年份：
    2020
  • 资助金额：
    3.5
  • 项目类别：
    Discovery Grants Program - Individual
Partial order semantics for concurrent program verification
并发程序验证的偏序语义
  • 批准号：
    EP/K039431/1
  • 财政年份：
    2014
  • 资助金额：
    12.49
  • 项目类别：
    Research Grant
Type Theory for Software Safety
软件安全的类型理论
  • 批准号：
    17300003
  • 财政年份：
    2005
  • 资助金额：
    7.78
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)