AdaCore is a software company with more than 30 years of experience building compilation, static and dynamic analysis, and formal-verification toolchains for reliable, safe, and secure software in safety- and mission-critical systems. - View it on GitHub