Nghiên cứu tạo ca kiểm thử cho các hệ thống phản ứng sử dụng kiểm chứng mô hình

Trình bày tổng quan về hệ thống phản ứng và các cơ sở lý thuyết đặc tả logic thời gian CLT và LTL. Kiểm chứng mô hình và công cụ NuSMV. Ứng dụng kiểm chứng mô hình tạo ca kiểm thử.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Tin học, hệ thống phản ứng, Kiểm chứng mô hình, Kiểm thử