卢卡·博托卢西；简·希尔斯顿 流体模型检查。 （英文） Zbl 1364.68259号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，333-347（2012）。 总结：在本文中，我们研究了流体近似技术在CSL公式的随机模型检查中的潜在应用。我们将重点放在描述单个代理在（大量）代理中的行为的属性上，利用称为快速模拟的极限结果。特别地，我们将通过流体微分方程的解，用时间不均匀的CTMC来近似单个介质的行为，CTMC依赖于环境和其他介质。我们将根据CSL公式的可满足性和可达概率来证明我们方法的渐近正确性。我们还将介绍一种根据CSL公式对时间非均匀CTMC进行建模检查的程序。关于整个系列，请参见[Zbl 1246.68044号]. 引用于9文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：随机模型检验；流体近似；平均场近似；可达概率 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bortolussi｝和\textit｛J.Hillston｝，Lect。注释计算。科学。7454，333--347（2012；Zbl 1364.68259） 全文： 内政部 arXiv公司