[Altenuvian]

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]

I 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.