Die Implikationen, in der Lage zu sein, Software autonom und formal zu verifizieren, sind nahezu unvorstellbar umfangreich.