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

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.