3 ms·
could you point to documents explaining proof checking in aerospace industry? I am especially interested in the history leading to software verification in avi
by Altenuvian 13y ago
could you point to documents explaining proof checking in aerospace industry?
I am especially interested in the history leading to software verification in avionics, the involvement of insurance companies and government regulation.
thx
- cantankerous 13y agoI actually cannot off hand. I speak from meeting folks in the industry who actually do the proof checking for aeronautical software. Unfortunately some dude's word on the Internet probably isn't very appealing. I'm sure Google would pull something up, though.