Ứng dụng đồ thị phụ thuộc biến trong kiểm tra mô hình hướng ký hiệu và tinh lọc trừu tượng