Explain why using model checking is sometimes a more cost-effective approach to verification than verifying a program’s correctness against a formal specification. List four types of systems that may...

Explain why using model checking is sometimes a more cost-effective approach to verification than verifying a program’s correctness against a formal specification. List four types of systems that may require software safety cases, explaining why safety cases are required.