ĐA TRỪU TƯỢNG KẾT HỢP TINH LỌC TRONG KIỂM TRA MÔ HÌNH HƯỚNG KÝ HIỆU
Trong kiểm tra mô hình, bùng nổ không gian trạng thái gây trở ngại đến việc kiểm chứng các hệ thống lớn vì quá trình tìm kiếm lỗi có thể không hoàn thành. Vấn đề càng trở nên nghiêm trọng hơn khi kích thước và sự phức tạp của hệ thống cần kiểm tra đang liên tục lớn dần lên. Trừu tượng là phương pháp...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Vietnamese |
| Published: |
Can Tho University Publisher
2013-10-01
|
| Series: | Tạp chí Khoa học Đại học Cần Thơ |
| Subjects: | |
| Online Access: | https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/1905 |