Verification by Anonymous Monitors.

Published in: CRYPTO (1981)

Keyphrases

model checking
temporal logic
computer vision
digital libraries
formal analysis
machine learning
decision trees
evolutionary algorithm
asynchronous circuits
verification method