1.简介
该存储库包含SPARK 2014项目的源代码。 SPARK是专门为工程高可靠性应用程序设计的软件开发技术。 它由一种编程语言，一个验证工具集和一种设计方法共同构成，可确保将超低缺陷软件部署在必须确保高可靠性且安全性是关键要求的应用领域中。
该存储库提供了有关开发过程的可见性。 开发的主线与GNAT的开发版本一致，GNAT的开发版本对公众不直接可见（尽管补丁程序定期转移到FSF存储库， svn://gcc.gnu.org/svn/gcc/trunk/gcc/ada为svn://gcc.gnu.org/svn/gcc/trunk/gcc/ada ），则可能无法使用任何其他编译器来构建软件的master分支。 但是，提供了与公共编译器版本或FSF存储库的头部相对应的可构建分支，请参阅下面的“构建SPARK ”部分。
2.商业支持
SPARK由AdaCore和Altran提供商业支持，
评论0