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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Editorial Office of Computer Engineering
2019-10-01
|
| سلاسل: | Jisuanji gongcheng |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.ecice06.com/fileup/1000-3428/PDF/20191011.pdf |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|