2 search results - page 1 / 1 » Approximate Equivalence Verification for Protocol Interface ... |
173
Voted
EVOW
1999
Springer
15 years 12 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
186
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...