Original title: Verifikace programů s ukazateli založená na detekci vzorů
Translated title: Verification of Programs with Pointers Based on Pattern Detection
Authors: Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
Document type: Bachelor's theses
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: C language; dynamic memory structure; formal verification; materialization; model; non-determinism; overaproximation; pattern; pattern based verification; sumarization; system; verification; 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

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/56273

Permalink: http://www.nusl.cz/ntk/nusl-239323


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2016-06-03, last modified 2021-02-25


No fulltext
  • Export as DC, NUŠL, RIS
  • Share