Reliability-Oriented Verification of Mission-Critical Software Systems