3 ms·
In my other comment I wrote "open source ecosystem" in order to avoid all the speculation about how much SPARK is used in commercial avionics and whatnot.
by pcwalton 3y ago
In my other comment I wrote "open source ecosystem" in order to avoid all the speculation about how much SPARK is used in commercial avionics and whatnot.