Avionics Safety Critical Software Verification