logic Hoare và lý thuyết chứng minh

Luận văn thạc sĩ kỹ thuật phân tích vnu uet phát triển các kỹ thuật tìm bất biến invariants và biến variants cho việc sử dụng hoare, đánh giá thực trạng, chỉ ra hạn chế, đề xuất