-
Tìm hiểu khá đầy đủ và chi tiết về công cụ kiểm chứng phần mềm Dafny(từ cài đặt đến các chức năng ngoài ra giới thiệu một số bổ đề bổ sung.
-
Có guidline cơ bản cho những người dùng mới trên phương diện kiểm chứng chương trình.
-
Có ví dụ cụ thể cho từng chức năng.
-
Làm rõ được các chức năng mở rộng để người dùng nắm được
-
Đưa ra một số trang web bổ ích, nâng cao kiến thức về công cụ, có thể test công cụ online.
-
Báo cáo về hướng đi của Dafny đang sử dụng khá đầy đủ và chi tiết.
-
Khó khắn trong việc đọc hết kiến thức do lượng thông tin lớn.
-
Chưa nêu rõ cụ thể về một vài công cụ được sử dụng.
-
Giải thích các chức năng cho người dùng còn hơi trừu tượng, khó hiểu.
-
Nên giải thích rõ hơn về các chức năng Dafny được sử dụng.
-
Nâng cao các ví dụ trong mô tả công cụ được sử dụng.