Automatic C Program Verification Based on Mixed Axiomatic Semantics
The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deduction rules depending on program objects and their pr...
Gorde:
| Egile Nagusiak: | , , , |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Yaroslavl State University
2013-12-01
|
| Saila: | Моделирование и анализ информационных систем |
| Gaiak: | |
| Sarrera elektronikoa: | https://www.mais-journal.ru/jour/article/view/157 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|