课题基金 / 基金详情

Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems

Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems
用于验证并发和分布式系统的先进扫描线状态空间缩减方法
批准号：
DP0210524
负责人：
Prof Jonathan Billington
金额：
$12.51万
依托单位：
University of South Australia
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-01-01 至 2004-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP0210524
关键词：
AdvancedSweepLineStateSpace

项目摘要

项目成果

Prof Jonathan Billington的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of c
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
  • 批准号：
    DP0880928
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $10.75万
  • 财政年份：
    2008
  • 负责人：
    Prof Jonathan Billington
  • 依托单位：
    University of South Australia
Advances in the Verification of Communication Protocols
  • 批准号：
    DP0559927
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $14.15万
  • 财政年份：
    2005
  • 负责人：
    Prof Jonathan Billington
  • 依托单位：
    University of South Australia
Extending the scope of modular analysis for the validation of large systems
  • 批准号：
    LX0454639
  • 项目类别：
    Linkage - International
  • 资助金额：
    $0.64万
  • 财政年份：
    2004
  • 负责人：
    Prof Jonathan Billington
  • 依托单位：
    University of South Australia
国内基金
海外基金
SWEEP几何造型方法及其应用
  • 批准号：
    60573151
  • 项目类别：
    面上项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2005
  • 负责人：
    汪国平
  • 依托单位：
    北京大学