Rigorózní práce

Quantitative Linear-Time Model Checking

Mgr. Jana Tůmová, učo 98614
Anotace

Ověřování modelu je pokročilá technika, která nám pomáhá zaručit, že systém splňuje dané požadavky. Obecně jsou jejím základem tři kroky: vytvoření modelu systému, formální vyjádření požadavků a ověření, zda model splňuje dané požadavky prozkoumáním všech možných chování modelu. V mnoha případech jsou nedílnou součástí specifikace systému i kvantitativní vlastnosti. Disertační práce bude zaměřena na …více

Abstract

Model checking is an advanced technique that help us to guarantee that a system meets given requirements. In general, it includes three steps: building a model of the system, formalizing the requirements, and finally examining all possible behaviors of the model to verify whether the model satisfies the requirements. In many cases, quantitative properties are an inseparable part of the system specification …více

Klíčová slova
formal verification quantitative model checking linear temporal logic
Administrativní informace
Práce zkontrolována:
21. 3. 2010 07:58, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
292,2 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
24. 5. 2010
Práce byla úspěšně obhájena

Oponenti

prof. RNDr. Luboš Brim, CSc.
KTP FI MU
Assoc. Prof. Calin A. Belta, Ph.D.
Boston University, USA
Autor posudku dosud neidentifikován.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
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.