Login / Signup

Model learning and model checking of SSH implementations.

Paul Fiterau-BrosteanToon LenaertsErik PollJoeri de RuiterFrits W. VaandragerPatrick Verleg
Published in: SPIN (2017)
Keyphrases
  • model checking
  • temporal properties
  • temporal logic
  • learning algorithm
  • reinforcement learning
  • model checker
  • process algebra
  • bayesian networks
  • finite state machines
  • verification method