模糊计算树逻辑相关论文
针对由数据表述产生的不确定性模糊系统的模型检测问题,给出模糊计算树逻辑模型检测算法.首先,引入模糊决策过程作为此类系统的模......
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题。将形式化的系统模型用拟布尔公式表示,......
计算机软、硬件系统的正确性在人们的生产和生活中越来越重要。模型检测作为一种自动化的验证技术,旨在验证计算机软、硬件系统是......
