Mitarbeiter des australischen Forschungsinstituts Nicta haben ein Verfahren entwickelt, um die Sicherheit von Programmcode nachzuweisen. Mit Hilfe von mathematischen Berechnungen können sie ausschließen, dass Code verschiedene Klassen von Fehlern enthält und somit für den Einsatz in missionskritischen Systemen in Flugzeugen oder Autos geeignet ist.