Luận văn thạc sĩ về ứng dụng đồ thị trong kiểm tra mô hình hướng ký hiệu và tinh lọc trừu tượng