Verification of the MultiStream Potocol (MSP) Using COSPAN.

Thomas F. La Porta Mischa Schwartz

Published in: Formal Methods Syst. Des. (1994)

Keyphrases

model checking
formal methods
real time
formal verification
data mining
artificial intelligence
formal analysis
verification method
neural network
decision making
clustering algorithm
information technology
temporal logic