Concurrency: semantics and verification

并发：语义和验证

• 批准号: 218030-2008
• 负责人: VanBreugel, Franck
• 金额: $ 1.97万
• 依托单位: York University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=454319
• 关键词: Concurrency; semantics; verification

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.

概率转移系统可用于对随机算法、与物理设备交互的系统等进行建模。我计划研究概率转移系统及其变体。 我特别计划开发这些系统的定量模型。 这种定量模型比定性模型更稳健，因为概率的微小变化对前一种模型影响很小，而对后一种模型可能产生巨大影响。 此外，我的目标是基于开发的模型为这些系统开发验证算法。