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"
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