Bằng chứng về giao tiếp mạng lưới: Dành cho con người và máy móc
Proofs about Network Communication: For Humans and Machines.
Nhiều hệ thống đồng thời và phân tán có tính an toàn quan trọng và do đó phải cung cấp mức độ đảm bảo cao. Các thuộc tính quan trọng của các hệ thống như vậy thường được chứng minh ở cấp độ đặc tả kỹ thuật, nhưng việc triển khai thường khác với các đặc tả kỹ thuật vì lý do thực tế. Bằng chứng được kiểm tra bằng máy về các câu lệnh về tính tương tự kép thường hữu ích trong việc đảm bảo các thuộc tính của đặc tả kỹ thuật được áp dụng cho quá trình triển khai. Trong tài liệu này, các tác giả trình bày cách tiến hành các bằng chứng như vậy với trọng tâm là giao tiếp mạng lưới. Các bằng chứng thu được từ phương pháp tiếp cận của tác giả không chỉ được kiểm tra bằng máy mà còn có thể hiểu được đối với con người.
Đọc thêm các bài viết liên quan tại thẻ Tags bên dưới