The Cooperation Test : a syntax-directed verification method.

Willem P. de Roever

Published in: Logics and Models of Concurrent Systems (1984)

Keyphrases

verification method
temporal logic
model checking
cooperative
statistical tests
genetic algorithm
expert systems
artificial neural networks
real time
reinforcement learning
multi agent
data structure
information exchange
syntactic analysis