Logic for reasoning about bugs in loops over data sequences (IFIL)
Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning about program incorrectness using formal methods is an important problem nowadays. Special logics such as Incorrectness Logic, Adversarial Logic, Local Completeness Logic, Exact Separation Logic and Out...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
Yaroslavl State University
2023-09-01
|
| Серии: | Моделирование и анализ информационных систем |
| Предметы: | |
| Online-ссылка: | https://www.mais-journal.ru/jour/article/view/1800 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|