Which of the following is the formal verification method

Which of the following is the formal verification method.........
1)structure induction 2)Progressive verification
3Error verification 4)None

Questions by ranu agrawal

Showing Answers 1 - 2 of 2 Answers

dilton_dalton

  • Dec 30th, 2007
 

A formal method is one in which everyone involved wears a tuxedo.

Only kidding.

A formal method is one that is defined (either is writing or graphically) and leaves evidence that it was done (i.e. the method produces records).

Any method can be made into a formal method if it satisfies these two criteria.

  Was this answer useful?  Yes

Prasad

  • Jul 28th, 2011
 

Progressive verification

  Was this answer useful?  Yes

Give your answer:

If you think the above answer is not correct, Please select a reason and add your answer below.

 

Related Answered Questions

 

Related Open Questions