AdaCore/spark2014

**AdaCore/spark2014** — открытая реализация технологии SPARK 2014, позволяющая разрабатывать и формально верифицировать высоконадежные системы на языке Ada. Под