多值逻辑论文

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