Application of Wu''s Method to Multi-Valued Model Checking
基于吴方法的多值模型检验

The development of most large and complex systems is necessarily involved with the treatment of uncertainty and inconsistency. Multi-valued model checking is very useful for analyzing models that contain such information. Based on the algebraic representation of multi-valued logics, we present a framework to apply Wu's method to multi-valued model checking. This algebraic approach to multi-valued model checking can be used as a powerful supplement to the existing methods.