- Có cái nhìn khá chi tiết, đầy đủ về công cụ kiểm chứng phần mềm Dafny (từ cài đặt đến các chức năng trong nó, ngoài ra giới thiệu một số bổ đề để có hướng giải quyết cho sau này).
- Các phần tìm hiểu khá rõ ràng, hướng dẫn cơ bản cho những người dùng mới theo phương diện kiểm chứng chương trình.
- Các phần có ví dụ cụ thể để có thể kiểm thử các chức năng.
- Có đề cập đến các chức năng cũng như các phần mở rộng hơn của công cụ để người dùng có thể nắm bắt.
- Đồng thời đưa ra một số trang web bổ ích, nâng cao kiến thức về công cụ, cũng như có thể test công cụ online.
- Có dẫn link tải-hướng dẫn, chú thích các thuật ngữ cụ thể
- Nhiều từ dịch từ tài liệu tiếng Anh sang tiếng Việt không thống nhất, chính xác, lúc dịch lúc không (ví dụ: heap, set, multiset, sequences, vv), nhiều chỗ viết lủng củng, không rõ nghĩa.
- Do lượng thông tin về công cụ là khá lớn khó khăn trong việc đọc hết kiến thức.
- Một số ứng dụng cụ thể về công cụ chưa nêu ra.
- Việc giải thích các chức năng vẫn chung chung gây khó hiểu cho người dùng.
- Bổ sung tổng quát về ưu-nhược điểm của Dafny, so sánh với một số công cụ verification khác
- Những từ tiếng anh cần hạn chế lạm dụng mà nên dịch sang tiếng việt phù hợp.
- Cần giải thích cụ thể hơn về các chức năng Dafny được sử dụng trong các ví dụ cụ thể.
Chấm điểm: 8/10