为了解决复杂计算机系统的验证问题,确保系统的正确性与可靠性,人们提出了模型检测方法.该方法于1981年首次被Clark和Emerson提出,......

广义可能性计算树逻辑（generalized possibilistic computation tree logic，GPoCTL）在不确定性模型检测中扮演着非常重要的角色，但其表......

模型检测作为一种形式化验证技术，已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统，引入......