Tools Used by nuXmv

  • The NuSMV Symbolic Model Checker
  • The MathSAT SMT solver
  • The CuDD Binary Decision Diagram package
  • The MiniSAT SAT solver

Other Links