摘要： 为了对包含多值信息的开放系统进行形式化验证，在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先，引入多值并发博弈结构作为此类开放系统的模型，该模型的最大特点是可以建模带有（试读）...
登录
