There are tools for theorem proving, model checking, computer algebra, verification of hybrid systems, and verification of cyber-physical systems and their control software and hardware.
Symbolaris tools include KeYmaera and KeYmaera X, which are theorem provers for hybrid systems.