Towards the ’Verified Verifier’. Theory and Practice
As opposed to traditional testing, the deductive verification represents a formal way to examine the program correctness. But what about the correctness of the verification system itself? The theoretical foundations of Hoare’s logic were examined in classical works, and some soundness/completeness t...
Zapisane w:
| Główni autorzy: | , |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Yaroslavl State University
2014-12-01
|
| Seria: | Моделирование и анализ информационных систем |
| Hasła przedmiotowe: | |
| Dostęp online: | https://www.mais-journal.ru/jour/article/view/72 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|