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 moonchild on Wednesday September 16, 2020 @02:00AM (#24489969)
> ADA/Spark allows for formal verification, which C/Rust do not have to my understanding.

Check out Frama-C: https://frama-c.com/

[ Parent | on HN ]

There are no comments on this comment yet.