Bakalářská práce

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí

Distributed memory quantitative LTL model checking of probabilistic systems

Milan Češka
Anotace

Tato bakalářská práce se zabývá metodami automatizované verifikace počítačových systémů, které jsou založené na tzv. Model Checkingu. Práce prezentuje problém kvantitativního ověřování pravdpodobnostních modelů formulemi lineární temporální logiky v prostředí s distribuovanou pamětí. Při návrhu algoritmu se vychází z automatového přístupu pro ověřování standardních modelů. V práci jsou zkoumány metody …více

Abstract

The bachelor thesis is dealing with methods of automatic verification of computers systems based on model checking. It presents the problem of distributed memory quantitative LTL model checking of probabilistic models. Automata based verification of standard models were used in an algorithm design. The methods of transformation of the verification problem into graph problem and following solution …více

Klíčová slova
automatizovaná verifikace distribuovaný Model Checking pravděpodobnostní modely Markov Decision Proces lineární temporální logika Rabinův automat silně souvislé komponenty koncové komponenty soustavy lineárních nerovnic automatic verifikacion distributed Model Checking probabilistic models linear tempor logic Rabin automata strongly connected component end component system of linear inequations
Administrativní informace
Práce zkontrolována:
11. 10. 2008 12:51, (IS automaticky)
Plný text práce
1,9 MB / soubor PDF
Přílohy (1)
Jazyk práce
čeština čeština
Termín obhajoby
22. 6. 2006
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponenti

Autor posudku dosud neidentifikován.
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
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Milan Češka FI B-IN BcIN xdryz/8
Češka, M.
18. 5. 2006
Složky
Soubory
Anotace anglicky annotation_english.txt
Češka, M.
18. 5. 2006
Anotace česky annotation.txt
Češka, M.
18. 5. 2006
bakalarka.pdf
Češka, M.
22. 5. 2008
Klíčová slova keywords.txt
Češka, M.
18. 5. 2006
posudek_oponenta.jpg
Dvořáčková, H.
7. 6. 2006
posudek_oponenta_2.jpg
Dvořáčková, H.
7. 6. 2006
Příloha Prilozene_CD.7z
Lukáš, O.
24. 11. 2022

  • 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.