Fundamental Results for the Verification of Observational Equivalence: A Survey.

Tommaso Bolognesi Scott A. Smolka

Published in: PSTV (1987)

Keyphrases

verification method
model checking
learning algorithm
artificial intelligence
multi agent
formal verification
machine learning
information retrieval
decision making
decision trees