模型检测论文

基于多值决策过程的广义可能性多值时序逻辑模型检测
论文摘要模型检测（ModelChecking）是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和不一致信息的并发系统得到有效验证...