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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Editorial Office of Computer Engineering
2019-10-01
|
| Saila: | Jisuanji gongcheng |
| Gaiak: | |
| Sarrera elektronikoa: | https://www.ecice06.com/fileup/1000-3428/PDF/20191011.pdf |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|