This is a list of tools I have contributed to the development during my career.
The nuXmv symbolic model checker for finite and infinite state transition systems
The NuSMV Symbolic Model Checker
The Model Based Planner built on top of NuSMV
he Kratos Software Model Checker
The Formal Safety Analysis Platform
The NuGaT Game Solver
The MathSAT Satisfiability Modulo Theories Solver
The Requirements Analysis Tool
The COMPASS tool