Concurrency: semantics and verification

并发：语义和验证

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

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