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...
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Artigo |
| Giella: | Inglês |
| Almmustuhtton: |
Yaroslavl State University
2023-09-01
|
| Ráidu: | Моделирование и анализ информационных систем |
| Fáttát: | |
| Liŋkkat: | https://www.mais-journal.ru/jour/article/view/1800 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|