Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.

Minh D. Nguyen Dominik Stoffel Wolfgang Kunz

Published in: GI Jahrestagung (1) (2005)

Keyphrases

data structure
cooperative
cryptographic protocols
information systems
face recognition
formal analysis
database
real time
neural network
artificial intelligence
website
decision trees
mobile devices
model checking