Formal verification problems in a big data world: towards a mighty synergy.

Published in: ICSE Companion (2014)

Keyphrases

big data
formal verification
data processing
business intelligence
databases
object oriented
data management
cloud computing
machine learning
artificial intelligence
data analysis
case based reasoning
model checking
vast amounts of data