1. Ansys SCADE Suite: Model-Based Development Environment for Critical Embedded Software. https://www.ansys.com/en-in/products/embedded-software/ansys-scade-suite
2. ASTREE Static Analyzer. https://www.astree.ens.fr/
3. Klocwork Static Analysis Tool. https://www.perforce.com/products/klocwork
4. LDRA Static and Dynamic Analysis Tool. https://ldra.com/
5. NuSMV Symbolic Model Checker. https://nusmv.fbk.eu/