The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh Alexey Gotsman Hongseok Yang Carla Ferreira Marc Shapiro

Published in: PaPoC@EuroSys (2016)

Keyphrases

genetic algorithm
multimedia
bayesian networks
consistency constraints
globally consistent
database
real time
data sets
artificial intelligence
computer vision
clustering algorithm
feature extraction
open source