课题基金 / 基金详情

Expressive power and complexity of temporal logics for model-checking

Expressive power and complexity of temporal logics for model-checking
用于模型检查的时序逻辑的表达能力和复杂性
批准号：
LX0242359
负责人：
Prof Rajeev Gore
金额：
$0.35万
依托单位：
The Australian National University
依托单位国家：
澳大利亚
项目类别：
Linkage - International
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-05-01 至 2003-04-30
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/LX0242359
关键词：
Expressivepowercomplexitytemporallogics

项目摘要

项目成果

Prof Rajeev Gore的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Hardware verification based upon mathematical logic is now routinely used in industry to verify the correctness of large digital circuits using a technique called model-checking. Such discrete systems move from one state to another according to the reg
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Machine-checked Foundations for Verified Vote Counting
  • 批准号：
    DP140101540
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $25.17万
  • 财政年份：
    2014
  • 负责人：
    Prof Rajeev Gore
  • 依托单位：
    The Australian National University
Mechanised foundations of proof calculi
  • 批准号：
    DP120101244
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $25.22万
  • 财政年份：
    2012
  • 负责人：
    Prof Rajeev Gore
  • 依托单位：
    The Australian National University
国内基金
海外基金
基于切平面受限Power图的快速重新网格化方法
  • 批准号：
    62372152
  • 项目类别：
    面上项目
  • 资助金额：
    50万元
  • 批准年份：
    2023
  • 负责人：
    郑利平
  • 依托单位：
    合肥工业大学
多约束Power图快速计算算法研究
  • 批准号：
    61972128
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2019
  • 负责人：
    郑利平
  • 依托单位：
    合肥工业大学
复合气体条件下可逆固体氧化物电池“电-气”转换特性研究
  • 批准号：
    51877173
  • 项目类别：
    面上项目
  • 资助金额：
    61.0万元
  • 批准年份：
    2018
  • 负责人：
    周峻
  • 依托单位：
    西安交通大学
网格曲面上质心Power图的快速计算及应用
  • 批准号：
    61772016
  • 项目类别：
    面上项目
  • 资助金额：
    46.0万元
  • 批准年份：
    2017
  • 负责人：
    辛士庆
  • 依托单位：
    山东大学