У майбутньому майже все апаратне та програмне забезпечення буде офіційно перевірене та доведено коректне, разом із математикою та фізикою.