×

兹马思-数学第一资源

稳态和时间无界时间算子的模拟模型检验。(英语) Zbl 1394.68236
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型VIII》。柏林:斯普林格出版社(ISBN 978-3-642-40464-1/pbk)。《计算机科学8100课堂讲稿》,期刊第142-158页(2013年)。
摘要:在处理大型随机模型时,模拟仍然是唯一可能的分析技术。因此,模拟模型检验是一种可行的方法。虽然有限时域算法在概率线性时-时逻辑中是众所周知的,但是我们提供了一个基于精确随机模拟算法的无限时域过程以及稳态计算。所有的算法都在我们的高级模型检查工具MARCIE中实现。我们展示了RKIP抑制ERK通路和血管生成过程的模型。
整个系列请参见[Zbl 1270.68030].
理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
92C40型 生物化学、分子生物学
PDF格式 BibTeX公司 XML 引用
全文: 内政部