文件名称：papers about formal verification
文件大小：200KB
文件格式：PDF
更新时间：2013-10-20 08:34:13
towards the verification of pervasive
toward the verification of persive systems. you can find this paper is on a project supervisized by professor Mark Ryan atl. It is on the issue of verification of protocols.