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
Subscribe Now

Get All Updates & News