Veškerý budoucí software bude formálně ověřen. Jsme ještě na začátku.