Tất cả phần mềm trong tương lai sẽ được xác minh chính thức. Chúng ta vẫn còn ở giai đoạn đầu.