Login / Signup
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
Marco Baldi
Alessandro Cucchiarelli
Linda Senigagliesi
Luca Spalazzi
Francesco Spegni
Published in:
CoRR (2016)
Keyphrases
</>
model checking
temporal logic
data structure
orders of magnitude
data mining algorithms
finite state
reachability analysis
bayesian networks
search algorithm
multi agent systems
knowledge based systems
formal verification
temporal properties