Sign in
Formal verification problems in a big data world: towards a mighty synergy.
Matteo Camilli
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