Luận Văn Thạc Sĩ Khoa Học Máy Tính: Kiểm Định Hình Thức Vi Mạch Bất Đồng Bộ Bằng Phương Pháp Kiểm Tra Mô Hình