Thread-Modular Counterexample-Guided Abstraction Refinement.

Alexander Malkis Andreas Podelski Andrey Rybalchenko

Published in: SAS (2010)

Keyphrases

model checking
high level
modular neural networks
decision making
databases
refinement process
modular structure
database
machine learning
knowledge base
multiscale
information technology
special case
data abstraction
state abstraction