Q. The formal methods model of software development makes use of mathematical methods to (Solved)
1. Develop defect free computer-based systems
2. Define the specification for computer-based systems
3. Verify the correctness of computer-based systems
4. All of the above
- c. Verify the correctness of computer-based systems