Checking for Language Inclusion Using Simulation Preorders.

David L. Dill Alan J. Hu Howard Wong-Toi

Published in: CAV (1991)

Keyphrases

programming language
simulation environment
machine learning
general purpose
simulation model
real time
data sets
natural language
english language
social networks
decision trees
mathematical models
simulation models
consistency checking