可加速环论文

实时模型检测中精确加速的研究
论文摘要实时系统经常会出现不同的时间度量。然而,当这些系统建模成时间自动机,然后运用符号模型检测技术进行验证时,验证速度会由于不必要的符号状态空间分裂(片段问题)而明显下降。精...