vaa>Экспериментальное тестирование программ vaa>может служить для доказательства наличия ошибок, vaa>но никогда не докажет их отсутствия.