基于概率模型检测的合同签订协议分析

摘要：

概率合同签订协议的公平性具有典型的概率性质.概率模型检测是一种验证存在随机行为系统的分析技术.基于概率模型检测技术,在原协议的基础上建立了离散马尔可夫链和有限状态机模型,用概率模型检测工具--PRISM验证了它的公平性,发现其公平性不满足时,在此基础上对原协议从双方交换信息的策略上进行了扩充改进,使协议更为公平,满足了合同签订的基本要求.

关键词：合同签订公平性、概率模型检测、PRISM、有限状态机

所属期刊栏目：25

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

资助基金：广西新世纪十百千人才工程基金0542052

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

页数：共5页

页码：31-35