We bevinden ons nu in het tijdperk van formeel geverifieerde code