测控技术中含有“X”值的验证

Model checking with "X" value in control and measuring technique

利用模型检验技术来验证具有“X”(未知)值的属性.给出了三值(真、假、未知)逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.

How to use model checking to verify a property with ＂X＂ value is proposed, and a model checking algorithm is given based on 3-valued （true, false, X） logic formula. This algorithm has the same time complexity compared with 2-valued logic model checking. Finally, an example is given to illustrate the application of 3-valued model checking.