Disertační práce
Získaná ocenění: Ocenění děkana FI za vynikající disertační práci

Modal Transition Systems: Extensions and Analysis

RNDr. Mgr. Bc. Jan Křetínský, učo 139914
Anotace

Tato dizertační práce studuje specifikační formalizmus zvaný modální přechodové systémy (MTS). Zavádíme několik rozšíření MTS a rozebíráme jejich vzájemné vztahy a modelovací sílu. Zaprvé rozšiřujeme modality MTS, zadruhé uvažujeme rozšíření s prvky času a ceny a zatřetí zavádíme různé třídy MTS s nekonečně mnoha stavy. Rovněž tato rozšíření MTS srovnáváme jako formalizmy automatové s formalizmy logickými …více

Abstract

In this thesis, we deal with the specification formalism of modal transition systems (MTS). We introduce several extensions thereof and discuss their relationships and modelling capabilities. Apart from extending the modalities of MTS, we consider timed and priced extensions as well as systems with infinite state space. We also compare the behavioural framework of MTS and its extensions to logical …více

Klíčová slova
modal transition systems refinement specification verification logic
Administrativní informace
Práce zkontrolována:
10. 7. 2014 09:25, prof. RNDr. Antonín Kučera, Ph.D., učo 2508
Plný text práce
3,8 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
19. 9. 2014
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Antonín Kučera, Ph.D., učo 2508
KTP FI MU

Oponenti

Assoc. Prof. Andrzej Wasowski, Ph.D.
IT University, Copenhagen
Prof. Joost-Pieter Katoen
RWTH Aachen University

Konzultant

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
KSUZD FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.