Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite iteration over unchangeable arrays with a loo...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Yaroslavl State University
2017-12-01
|
| シリーズ: | Моделирование и анализ информационных систем |
| 主題: | |
| オンライン･アクセス: | https://www.mais-journal.ru/jour/article/view/611 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|