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