Login / Signup

Symbolic Model Checking for Self-Stabilizing Algorithms.

Tatsuhiro TsuchiyaShin'ichi NaganoRohayu Bt PaidiTohru Kikuno
Published in: IEEE Trans. Parallel Distributed Syst. (2001)
Keyphrases
  • symbolic model checking
  • orders of magnitude
  • learning algorithm
  • model checking
  • computational complexity
  • knowledge based systems
  • search space
  • formal verification