Login / Signup
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Nikola Benes
Ivana 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