. đề xuất mô hình kết hợp kiểm chứng mô hình và các kỹ thuật kiểm thử phần mềm. Việc ứng dụng công cụ kiểm chứng SPIN và các kỹ thuật kiểm thử để tăng tính tin cậy của hệ thống phần mềm sẽ được. KẾT HỢP PHƯƠNG PHÁP KIỂM CHỨNG MÔ HÌNH VÀ CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM LÀM TĂNG ĐỘ TIN CẬY CỦA HỆ THỐNG PHẦN MỀM Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số:. NGHỆ NGÔ THỊ NGA KẾT HỢP PHƯƠNG PHÁP KIỂM CHỨNG MÔ HÌNH VÀ CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM LÀM TĂNG ĐỘ TIN CẬY CỦA HỆ THỐNG PHẦN MỀM LUẬN VĂN THẠC SĨ CÔNG NGHỆ