Nghĩa của từ model checking bằng Tiếng Việt

@Chuyên ngành kỹ thuật
@Lĩnh vực: toán & tin
-sự kiểm tra mô hình

Đặt câu có từ "model checking"

Dưới đây là những mẫu câu có chứa từ "model checking", trong bộ từ điển Từ điển Anh - Việt. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ model checking, hoặc tham khảo ngữ cảnh sử dụng từ model checking trong bộ từ điển Từ điển Anh - Việt

1. on Verification, Model Checking, and Abstract Interpretation (VMCAI'05), Paris, France, January 2005.

2. It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis – including abstract interpretations, deductive verifications and model checking.

3. Another example of using Assertional reasoning for proving atomicity is the work by Wang and Stoller [37], which uses static analysis combined with model checking to verify atomicity of code blocks involving lock-free synchronization primitives