Login / Signup

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola BenesIvana CernáMilan Krivánek
Published in: PDMC (2011)
Keyphrases
  • formal methods
  • parallel distributed
  • model checker
  • search algorithm
  • expert systems
  • distributed systems
  • model checking
  • formal verification
  • neural network
  • knowledge based systems