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