实时模型检测精确加速窗口的计算原理及算法

DOI: 10.7544/issn1000-1239.2020.20190052

Keywords: [模型检测, 时间自动机, 精确加速, 可加速环, 窗口, model checking, timed automata, exact acceleration, acceleratable cycle, window]

Full-Text   Cite this paper   Add to My Lib

Abstract:

时间自动机为实时系统进行建模时，通常会因不同的时间度量而产生..

Full-Text