可能性Kripke结构相关硕士博士期刊学术论文

模型检测是一种形式化自动验证技术,通过对系统状态空间进行穷举搜索,以验证用时序逻辑公式描述的系统性质在该模型上是否可以满足......