Safety-Critical Software Verification