【摘要】随着信息技术的发展,计算机技术已经融入了现代社会各个领域,得到极其广泛的应用。然而在这样的背景下,计算机系统的异常可能会造成灾难性后果。测试和仿真通常被用来保障这类安全关键系统的可靠性,但是这类方法针对的是实际运行前的系统,只能检测到系统的错误,而不能证明系统的正确。模型验证是完备的,但是它针对的是系统的抽象模型,难以证明系统的抽象模型和实际系统的等价性,同时这种方法需要遍历系统的所有执行 […]