Just-Right Consistency: reconciling availability and safety.

Marc Shapiro Annette Bieniusa Nuno M. Preguiça Valter Balegas Christopher Meiklejohn

Published in: CoRR (2018)

Keyphrases

consistency checking
machine learning
genetic algorithm
image processing
global constraints
global consistency
update operations
coal mine safety