Which of the following is a characteristic of formal program verification?

1
Ensures program meets user requirements
2
Verifies program against mathematical specifications
3
Tests program under real-world conditions
4
Evaluates program performance

Sponsored

hivanix.in

Visit

This quiz is brought to you by hivanix.in

🌐 Web App Development

Quick Navigation