views:

74

answers:

0

how can you prove the correctness of linear search by using the standard 3 properties which are initialization, maintenance, termination.