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...
Shranjeno v:
| Principais autores: | , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Yaroslavl State University
2014-12-01
|
| Serija: | Моделирование и анализ информационных систем |
| Teme: | |
| Online dostop: | https://www.mais-journal.ru/jour/article/view/72 |
| Oznake: |
Brez oznak, prvi označite!
|