API pro monitorování chování programů v kontextu nástroje DIVINE /
V této práci se zabýváme návrhem a implementací API pro monitorování programů verifikačním nástrojem DIVINE. Implementovaný monitor podporuje monitorování omega-regulárních vlastností programu pomocí zobecněných Buchiho automatů s akceptační podmínkou na hranách (TGBA). Naše rozhraní nabízí specifik...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2019
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/ay7v9/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Prezenční |
Přírodovědecká fakulta | ÚK volný výběr - M | K-M-2019-KUČE | 3145375445 |