Specification and Verification using Message Sequence Charts.

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

formal verification
formal methods
high level
model checking
asynchronous circuits
neural network
email
information retrieval
artificial intelligence
multi agent
hidden markov models
genetic algorithm
formal specification