Which of the following artifacts would you be most likely to use formal methods as part of the SQA process on them?

Which of the following artifacts would you be most likely to use formal methods as part of the SQA process on them?

Select one:

a. A state chart used to model the behaviour of a non-player character in a video game.

b. The source code for a function that calculates the dosage of a drug, as part of an app used in an intensive care ward in a hospital

c. A UI mockup for a screen in an app used in an intensive card ward in a hospital.

d. Source code for a function that triggers a farting noise to play on a "silly sounds" mobile app