Logo
Unionpedia
Giao tiếp
Tải nội dung trên Google Play
Mới! Tải Unionpedia trên thiết bị Android™ của bạn!
Cài đặt
truy cập nhanh hơn trình duyệt!
 

Model checking

Mục lục Model checking

Một vài năm trở lại đây, trong khoa học máy tính, kiểm định mô hình (Model Checking) bắt đầu được sử dụng rộng rãi trong kiểm định các hệ thống phần mềm và các hệ thống điều khiển điện t.Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu: Bounded Model Checking Using Satisfiability Solving.

1 quan hệ: Khoa học máy tính.

Khoa học máy tính

Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và áp dụng các cơ sở này.

Mới!!: Model checking và Khoa học máy tính · Xem thêm »

Lối raIncoming
Chào! Chúng tôi đang ở trên Facebook bây giờ! »