Program Slicing and Symbolic Execution for Verification /
Existuje mnoho formálních metod k dokazování či vyvracení vlastností programů (např. že žádný příkaz assert nemůže být porušen). Jedna taková metoda je symbolická exekuce, která systematicky vyčísluje možné běhy v programu. Tento přístup musí dříve či později nevyhnutelně selhat kvůli nedostatečným...
Uloženo v:
Hlavní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | VŠ práce nebo rukopis |
Jazyk: | Angličtina |
Vydáno: |
2022
|
Témata: | |
On-line přístup: | https://is.muni.cz/th/jpz0i/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
---|---|---|---|---|---|---|
Dostupné Týdenní |
Fakulta informatiky | Diz. práce 2021 | 42005D2742 |