Di masa depan, hampir semua perangkat keras dan perangkat lunak akan diverifikasi secara formal dan terbukti benar, bersama dengan matematika dan fisika.