Using SSDE for USB2.0 conformance co-verification.

Thierry J.-F. Omnés Gerard Postuma Jos Verhaegh Marleen Boonen Nick Gatherer

Published in: MEMOCODE (2003)

Keyphrases

model checking
protocol specification
formal verification
data transmission
face verification
signature verification
decision trees
data structure
formal methods
storage devices
person identification