Ada provides some useful mechanisms to help, but they're only a small part of the total solution; to develop successful systems you'll need to understand software safety much more deeply.
You may go to the next section.
You may also:
![]() |
![]() |
---|
David A. Wheeler (dwheeler@ida.org)