Login / Signup
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
Francesco Marconi
Marcello M. Bersani
Madalina Erascu
Matteo Rossi
Published in:
ICFEM (2016)
Keyphrases
</>
formal verification
metric temporal logic
model checking
bounded model checking
model checker
data mining applications
data grids
symbolic model checking
automated verification
grid environment
massive data sets
data intensive
program slicing
temporal logic