Checking and Enforcing Robustness against TSO.

Ahmed Bouajjani Egor Derevenetc Roland Meyer

Published in: ESOP (2013)

Keyphrases

computational efficiency
database
artificial intelligence
multimedia
digital libraries
bayesian networks
multi agent
wide range
data structure
np complete
consistency checking
global consistency
high robustness