Login / Signup

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.

Faten FakhfakhMohamed TounsiMohamed MosbahAhmed Hadj Kacem
Published in: KES (2018)
Keyphrases
  • literature review
  • formal verification
  • learning algorithm
  • data sets
  • case study
  • orders of magnitude
  • data mining techniques