Název: Verifikace programů s ukazateli založená na detekci vzorů
Překlad názvu: Verification of Programs with Pointers Based on Pattern Detection
Autoři: Kubíček, Jan ; Erlebach, Pavel (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: dynamická paměťová struktura; formální verifikace; jazyk C; materializace; model; nadaproximace; nedeterminismus; sumarizace; systém; verifikace; verifikace na základě paměťových vzorů; vzor; C language; dynamic memory structure; formal verification; materialization; model; non-determinism; overaproximation; pattern; pattern based verification; sumarization; system; verification

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/56273

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-239323


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2016-06-03, naposledy upraven 2021-02-25.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet