And yet the F-35 is known for having extremely problematic software with many failures that have caused it to cause crashes/ejections.
ADA/SPARK already owns this space.
This is also why car makers name their cars things like "Jeep Expedition" or "Ford Escape". The name doesn't change the car, but it does make it more exciting.
In this case, a 141 page highly dense (and frankly
boring to read) document is in its essence a liability
So, do you think that the intent was for developers to memorize this document?Or do you think the expectation was something more reasonable, like using this document as a tool to configure linting tools so that developers could get realtime feedback as they code?
If anything, the enemy will be defeated before they have had the time to understand the document in case it gets leaked xD