调度验证相关硕士博士期刊学术论文 - 信丰网

调度验证相关论文

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑（PTL）的定理证明方法来验证进程调度.使用PTL......

期刊

投影时序逻辑进程调度定理证明多核处理器调度验证 projection temporal logic process scheduling theor

看过本文同时还关注