Technology Comparison Chart
GNAT / SPARK
GNAT / SPARK
|Intended for||All uses, including commercial, industrial, or military development. Developed software can be proprietary, classified, or be subject to any distribution restriction.||Free Software development following the terms of the GPL.||Free Software development following the terms of the GPL.|
|Intended users||Industrial, military, and commercial developers||Professors using Ada/SPARK in their curriculum||Free Software developers and students|
|How to obtain it||Subscription with AdaCore||GAP membership||AdaCore Libre site|
|Quality assurance||Suitable for use in mission critical and high-integrity software development||Suitable for teaching purposes||Suitable for Free Software development|
|Frontline product support and Ada advice from AdaCore||Yes||For professors||No|
You may find portions of the GNAT technology (typically the compiler) elsewhere. Check with its provider for its license, completeness, quality assurance, and any other issue relevant to you. For more information on the licensing and the different versions of the GNAT Technology, consult our GNAT Technology FAQ.
Ready to download?
Think you’ve found the right product for your development needs?