在为此提出的诸多理论和方法中,模型检测(model checkin)以其简洁明了和自动化程度高而引人注目,模型检测的研究大致涵盖以下内容:模态/时序逻辑,模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系,不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是...