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

Designing Data-Parallel Graph Algorithms for Model Checking

RNDr. Milan Češka
Anotace

Ověřování modelů (model checking) je rozšířená technika automatické formální verifikace softwarových a hardwarových systémů. Cílem této techniky je pro daný formální popis systému (konečně stavový model) a požadovanou vlastnost systematicky analyzovat graf všech dosažitelných konfigurací a rozhodnout, zda systém tuto vlastnost splňuje či ne. Proces ověřování modelů typicky trpí tzv. problémem stavové …více

Abstract

Model checking is a wide-spread technique for automated formal verification of software and hardware systems. For a given formal description (finite-state model) of a system and desired system property, the goal of the model checking procedure is to systematically analyze a graph of all reachable configurations in order to decide whether the model satisfies the property or not. The model checking techniques …více

Klíčová slova
formální verifikace paralelní ověřování modelů datově paralelní grafové algoritmy grafické výpočetní jednotky formal verification parallel model checking data-parallel graph algorithms graphics processing units
Administrativní informace
Práce zkontrolována:
14. 4. 2012 09:06, prof. RNDr. Luboš Brim, CSc.
Plný text práce
1,1 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
11. 6. 2012
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Luboš Brim, CSc.
KTP FI MU

Oponenti

prof. Ing. Tomáš Vojnar, Ph.D., učo 134390
KPSK FI MU, FIT VUT v Brně
Prof. Keijo Heljanko
Aalto University, School of Science, Finland
Autor posudku dosud neidentifikován.

Konzultant

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP 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
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Milan Češka FI D-IN4 IN v5ksv/7
Češka, M.
13. 4. 2012
Složky
Soubory
Anotace anglicky annotation_english.txt
Češka, M.
13. 4. 2012
Anotace česky annotation.txt
Češka, M.
13. 4. 2012
Klíčová slova keywords.txt
Češka, M.
13. 4. 2012
Plný text práce thesis.pdf
Češka, M.
13. 4. 2012
Posudek oponenta prof.Heljanko.pdf
Nazarejová, A.
12. 6. 2012
Posudek oponenta prof.Vojnar.pdf
Nazarejová, A.
12. 6. 2012

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