StatVerif: Verification of stateful processes.

Myrto Arapinis Joshua Phillips Eike Ritter Mark Dermot Ryan

Published in: J. Comput. Secur. (2014)

Keyphrases

formal verification
model checking
data sets
genetic algorithm
information systems
hidden markov models
probabilistic model
computational models
publish subscribe
real time
neural network
website
three dimensional