Original title: Efektivní knihovna pro práci s konečnými stromovými automaty
Translated title: An Efficient Finite Tree Automata Library
Authors: Lengál, Ondřej ; Konečný, Filip (referee) ; Vojnar, Tomáš (advisor)
Document type: Master’s theses
Year: 2010
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: abstract regular tree model checking; binary decision diagrams; formal verification; multiterminal binary decision diagrams; tree automata; abstraktní regulární stromový model checking; binární rozhodovací diagramy; formální verifikace; multiterminálové binární rozhodovací diagramy; stromové automaty

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

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


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


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