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

Disjunctive Modal Transition Systems

RNDr. Nikola Beneš, učo 72525
Anotace

Otázka korektnosti je bezpochyby zásadním faktorem při návrhu počítačových systémů, což dělá z oblasti specifikace a verifikace důležitou součást informatiky. K tomu, abychom mohli v této oblasti použít formálních metod, potřebujeme dobrý specifikační formalismum. Jednou možností je popsat požadované vlastnosti systému pomocí formulí vhodné logiky. Jinou možností je přístup založený na chování, při …více

Abstract

The question of correctness is without doubt a crucial issue in the design of computer systems, making the field of specification and verification an important part of computer science. To employ formal methods in this field, we need to have a good specification formalism. One option is to specify the desired properties of a system as formulae of a suitable logic. Another option is the behavioural …více

Klíčová slova
modal transition systems refinement consistency generalized model checking specification formal methods
Administrativní informace
Práce zkontrolována:
12. 2. 2012 07:35, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
801 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
5. 6. 2012
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU

Oponenti

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
ITI FI MU
Assoc. Prof. Andrzej Wasowski
IT University, Copenhagen
Autor posudku dosud neidentifikován.
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.