[sfrank]

That is because the formal method supplement of the DO-178C is RTCA DO-333. There you have about a hundred pages concerned with the application of formal methods.

[ejcx]

Good to know. I will buy this doc and give it a read, thanks.