可加速环相关论文
时间自动机为实时系统进行建模时,通常会因不同的时间度量而产生大量状态片段,精确加速技术可以有效解决这一类片段问题.精确加速......
为了实现精确加速从而解决由于不同时间度量而造成的模型检测时出现的片段问题,提出了一种识别时间自动机中可加速环的方法。针对......
实时系统经常会出现不同的时间度量。然而,当这些系统建模成时间自动机,然后运用符号模型检测技术进行验证时,验证速度会由于不必......
