I do not believe we will find the m

I do not believe we will find the magic here. Program verification is a very powerful concept, and it will be very important for such things as secure operating system kernels. The technology does not promise, however, to save labor. Verifications are so much work that only a few substantial programs have ever been verified.

Kết quả (Việt) 1:

Tôi không tin rằng chúng tôi sẽ tìm thấy sự kỳ diệu ở đây. Xác minh chương trình là một khái niệm rất mạnh mẽ, và nó sẽ rất quan trọng đối với những thứ như hệ điều hành an toàn hạt nhân. Công nghệ không đảm bảo không, Tuy nhiên, để tiết kiệm lao động. Minh là rất nhiều công việc chỉ có một vài chương trình đáng kể có bao giờ được xác minh.

Kết quả (Việt) 2:

Tôi không tin rằng chúng ta sẽ thấy sự kỳ diệu ở đây. Chương trình xác minh là một khái niệm rất mạnh mẽ, và nó sẽ rất quan trọng cho những thứ như hạt nhân hệ điều hành an toàn. Công nghệ này không hứa hẹn, tuy nhiên, để tiết kiệm lao động. Việc kiểm tra có rất nhiều công việc mà chỉ có một vài chương trình lớn đã từng được xác minh.