使用跟踪逻辑验证关系属性| IEEE会议出版物| IEEE Xplore