Discuss how do you envision the ways program verification and performance tuning will be accomplished in future and 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?