News for hackers. Stuff that matters.

A comment on Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System. Parent comment

Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by andi999 on Wednesday September 16, 2020 @12:05PM (#24493944)
What abour Spark?
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by Rochus on Wednesday September 16, 2020 @12:19PM (#24494130)
SPARK is a model checker for a subset of Ada. In contrast to the GNAT runtime library there is no need to deploy anything related to SPARK when you use it. As long as you don't deploy GPL software there is no issue with closed-source applications. Just use the GPL version of GNAT and SPARK to build and check your application.
[ Parent | on HN ]