Implicațiile de a putea verifica autonom și formal software-ul sunt aproape de neconceput