符号化状态相关硕士博士期刊学术论文 - 搜论网

符号化状态相关论文

多核模型检测工具CTAV的实现与优化

在计算机计算能力大大增强的时代,为了提高对时间自动机进行空性检测的效率,进一步高效利用多核处理器的优势,研究了利用Büch......

期刊

时间自动机线性时序逻辑多核并行模型检测符号化状态 timed automata Linear Temporal Logic （LTL） multi-cor

看过本文同时还关注