An Exercise in the Automatic Verification of Asynchronous Designs.

Andrew M. Bailey George Alexander McCaskill George J. Milne

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

Keyphrases

design space
asynchronous communication
neural network
search engine
information systems
delay insensitive
data sets
machine learning
information retrieval
artificial intelligence
image segmentation
design principles