How do you envision the ways program verification and performance tuning will be accomplished in the future? Will it still be a work of art? Will it always be the result of one's experience? Or do you forecast more and more automatic ways (algorithms?) to accomplish these tasks?
This solution basically deals with the program verification and performance tuning process and they way it is likely to be attained in the future. It answers the following question:
How do you envision the ways program verification and performance tuning will be accomplished in the future?