Ada and SPARK on Any Platform - Adacore on May 03, 2018 AdaCORE Arduino Defense GCC ISO 2012+ RTL SPARK +