Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
Trình bày về cơ sở lý thuyết của kiểm duyệt mô hình (Model checking): khái niệm và ý nghĩa của kiểm duyệt mô hình, quy trình hoạt động của kiểm duyệt mô hình, đặc trưng của kiểm duyệt mô hình, điểm mạnh và điểm yếu của kiểm duyệt dựa trên mô hình sử dụng logic thời gian (Temporal Logic) mô tả...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | Theses and Dissertations |
| 語言: | other |
| 出版: |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
2016
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/6358 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|