В будущем почти все аппаратное и программное обеспечение будут формально проверены и доказано правильными, наряду с математикой и физикой.