Explain the need of formal method in critical software development.

0

1.3kviews

written 7.8 years ago by

iampriyanka.dhuliya • 60

modified 3.8 years ago by

pedsangini276 • 4.8k

Subject: Software Engineering

Topic: Introduction to Software Engineering

Difficulty: High

software engineering

ADD COMMENT EDIT

1 Answer

0

9views

written 7.7 years ago by

teamques10 ★ 70k

There are three types of critical system:

Safety-critical systems A system whose failure may result in injury, loss of life or serious environmental damage. An example of a safety-critical system is a control system for a chemical manufacturing plant.

Mission-critical systems A system whose failure may result in the failure …

Create a free account to keep reading this post.

and 3 others joined a min ago.

ADD COMMENT EDIT

Please log in to add an answer.