Bounded Correctness Checking of the Universal Fragment of eCTL.

Fei Pu Wenhui Zhang

Published in: FSDM (2017)

Keyphrases

information retrieval
data sets
databases
web pages
expert systems
consistency checking
kolmogorov complexity
neural network
image processing
case study
optimal solution
distributed databases
provably correct