Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.

Adam D. Bradley Azer Bestavros Assaf J. Kfoury

Published in: ICNP (2003)

Keyphrases

real world
qualitative and quantitative
neural network
data mining
information retrieval
artificial intelligence
information systems
control system
information sharing
structural properties
desirable properties
general conditions