Bc. Vojtěch Rujbr

Diplomová práce

Refined Büchi automata for faster model checking

Refined Büchi automata for faster model checking
Anotace:
Ověřování modelu pomocí LTL je formální verifikační metoda, která je typicky velmi náročná na zdroje. V této práci ukážeme, jak je možné zvýšit efektivitu procesu v první fázi ověřování modelu: během překladu LTL specifikací na Büchiho automat. V této práci představíme několik nástrojů, které dokáží ovlivnit proces překladu specifikací na automat pomocí známých informací o modelu. Touto metodou jsme …více
Abstract:
An LTL model checking is an advanced formal verification technique typically requiring a lot of resources. In this thesis we show how the efficiency of this process can be improved in the first phase of model checking: translation of an LTL specification into the Büchi automaton. We present tools that influence the translation process or the produced automaton using knowledge about the model. As a …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 7. 1. 2016

Obhajoba závěrečné práce

  • Obhajoba proběhla 15. 2. 2016
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: prof. RNDr. Luboš Brim, CSc.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika