Nghiên cứu phương pháp giải ràng buộc smt và áp dụng để phát hiện lỗi tràn số cho mô hình Simulink

Abstract

Luận văn kết cấu gồm 3 chương: Chương 1: Tổng quan; Chương 2: Kiểm chứng lỗi tràn số của mô hình hệ thống nhúng; Chương 3: Thực nghiệm và đánh giá;