1. What defines the circumstances in which a particular operation is valid?
Correct Answer is : None of the mentioned
2. Which of the following option is not provided by formal methods?
Correct Answer is : both providing frameworks and verifying systems
3. ___________ are statements that can be interpreted in a number of ways.
Correct Answer is : Contradictions
4. Which of the following is a way of making a statement about the elements of a set that is true for every member of the set?
Correct Answer is : Universal quantification
5. Which of the following occurs often due to the bulkiness of a system specification document?
Correct Answer is : Vagueness