课题基金 / 基金详情

Concurrency: semantics and verification

Concurrency: semantics and verification
并发：语义和验证
批准号：
218030-2008
负责人：
VanBreugel, Franck
金额：
$1.97万
依托单位：
York 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=424986
关键词：
Concurrencysemanticsverification

项目摘要

项目成果

VanBreugel, Franck的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Probabilistic transition systems can be exploited to model randomized algorithms, systems that interact with physical devices, etc. I plan to study probabilistic transition systems and variations thereof. In particular, I plan to develop quantitative models of these systems. Such quantitative models are more robust than qualitative models, since minor variations in the probabilities have little effect on the former type of model whereas they may have drastic effects on the latter type. Also, I aim to develop verification algorithms for these systems based on the developed models.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Generating and Checking Probabilistic Models
  • 批准号：
    RGPIN-2019-06372
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2019
  • 负责人：
    VanBreugel, Franck
  • 依托单位：
    York University
Concurrency: semantics and verification
  • 批准号：
    218030-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.97万
  • 财政年份：
    2013
  • 负责人：
    VanBreugel, Franck
  • 依托单位：
    York University
Concurrency: semantics and verification
  • 批准号：
    218030-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.97万
  • 财政年份：
    2011
  • 负责人：
    VanBreugel, Franck
  • 依托单位：
    York University
Concurrency: semantics and verification
  • 批准号：
    218030-2008
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.97万
  • 财政年份：
    2010
  • 负责人：
    VanBreugel, Franck
  • 依托单位：
    York University
海外基金