Automatic Formal Specification and Its Verification of Assembly-Level Sequential Statement Blocks
Formal verification of software is an important means to guarantee the provability,reliability and security of software, but the generation process of traditional formal verification script is complex and requires a lot of manual verification of formal verification experts.In order to improve the ef...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Editorial Office of Computer Engineering
2019-10-01
|
| Loạt: | Jisuanji gongcheng |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://www.ecice06.com/fileup/1000-3428/PDF/20191011.pdf |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|