Designing Data-Parallel Graph Algorithms for Model Checking

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

Full description

Saved in:
Bibliographic Details
Main Author: Češka, Milan, 1946- (Dissertant)
Other Authors: Brim, Luboš, 1952- (Thesis advisor)
Format: Thesis Manuscript
Language:English
Published: 2012
Subjects:
Online Access:http://is.muni.cz/th/99067/fi_d/
Cover Image
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Week
Faculty of Informatics Diz. práce 2012 42005D2620