命题μ-演算全局模型检测的高效算法设计

Keywords: [模型检测, μ-演算, 计算复杂度, NP∩co-NP问题, 不动点, model checking, μ-calculus, computational complexity, NP∩co-NP problem, fixed-point]

Full-Text   Cite this paper   Add to My Lib

Abstract:

在Long, Browne, Jha 和 Marrero等人..

Full-Text