Links

• The NuSMV Symbolic Model Checker
• The MathSAT SMT solver
• The Kratos Software Symbolic Model Checker
• The Embedded Systems Unit of the Fondazione Bruno Kessler