基于时序逻辑语言XYZ/E验证信誉系统

摘要：

目前在信誉系统的模型认证方面使用的模型验证的方法,本文以信誉系统为侧,使用可执行的时=序逻辑语言XYZ/E来验证信誉系统,为进一步提高验证的准确性和精确性提供了新的思路.

关键词：信誉系统、时序逻辑、语义

分类号：TP39(计算技术、计算机技术)

在线出版日期：2009-05-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：97-97