Proof-guided underapproximation-widening for multi-process systems.

Orna Grumberg Flavio Lerda Ofer Strichman Michael Theobald

Published in: POPL (2005)

Keyphrases

expert systems
computer systems
search algorithm
learning systems
data sets
neural network
machine learning
information retrieval
artificial intelligence
information systems
multimedia
web services
intelligent systems
knowledge based systems
building blocks
decision process