【文件属性】:
文件名称: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.