Original title: Nástoj pro abstraktní regulární stromový model checking
Translated title: Tool for Abstract Regular Tree Model Checking
Authors: Mráz, Patrik ; Rogalewicz, Adam (referee) ; Hruška, Martin (advisor)
Document type: Bachelor's theses
Year: 2017
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: abstract regular tree model checking; abstraction; ARTMC; tree automata; tree transducer; VATA; abstrakcia; abstraktný regulárny stromový model checking; ARTMC; stromový automat; stromový prevodník; VATA

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/69728

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


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


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