Useful Links

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

• Fondazione Bruno Kessler
• Digital Industry Center
• Embedded Systems Unit