Chuyên đề 1 · Thử nghiệm và đánh giá mô hình

Thử các trạng thái, ghi bằng chứng và giới hạn của mô hình.