Original title: Symbolické automaty v analýze programů s řetězci
Translated title: Symbolic Automata for Analysing String Manipulating Programs
Authors: Kotoun, Michal ; Rogalewicz, Adam (referee) ; Vojnar, Tomáš (advisor)
Document type: Master’s theses
Year: 2020
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: abstraktní regulární model checking; analýza řetězců; aplikace konečných převodníků; ASMA; AutomataDotNet; CEGAR; formální verifikace; konečné automaty; konečné převodníky; LibStranger; regulární model checking; symbolické konečné automaty; symbolické konečné převodníky; abstract regular model checking; ASMA; AutomataDotNet; CEGAR; finite automata; finite transducer application; finite transducers; formal verification; LibStranger; regular model checking; string analysis; symbolic finite automata; symbolic finite transducers

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

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


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


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