Ohjelmistojen autonomisen virallisen varmennuksen mahdollisuudet ovat lähes käsittämättömän laajat