对称化简相关论文
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环......
多值模型是传统布尔模型的扩展。与布尔模型相比，多值模型更适合对包含不确定和不一致信息的软件系统进行建模。为了解决模型检测时......
模型检测是一种自动验证系统行为属性的技术。传统的模型检测针对基于布尔逻辑建立的系统模型，要求对系统的所有行为给予确定的描述......
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环......
