Links

Tools

• The NuSMV symbolic model checker
• The nuXmv model checker
• The OCRA tool for contract-based design and refinement
• The MathSAT SMT solver

Other Links

• Fondazione Bruno Kessler
• Digital Industry Center
• Formal Methods Unit