By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
The verification method was presented based on the above correlation property, which had been used to verify the Woo and Lam authentication Protocol in reverse analysis.
从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议，提出了基于以上关联特点的协议验证方法。
应用推荐