TL;DRAbstract
利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.
Chat with Paper
AI Agents for this Paper
利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.
Keywords
Computer science
Chat
Click to start Chat