Explain why it may be cost-effective to use formal methods in the development of safetycritical software systems.

Question:

Explain why it may be cost-effective to use formal methods in the development of safetycritical software systems. Why do you think that some developers of this type of system are against the use of formal methods?

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Software Engineering

ISBN: 9780321313799

8th Edition

Authors: Ian Sommerville

Question Posted: