Alberta führte eine automatisierte Sicherheitsprüfung über 466 Millionen Codezeilen in 20 Stunden durch – eine Aufgabe, die konventionelle Methoden 6,5 Jahre gedauert hätte.