Zpět na vyhledávání

Bc. Peter Matúška

Bachelor's thesis

Knihovna pro komprimované ukládání stavových prostorů na disk

A Library for Compressed Storage of State Spaces to Disk
Abstract:
As long as the state explosion problem occurs in formal verifcation, plenty of attempts have been develop to solve this problem. One of the solution is to use hard disk as a storage medium. Bottleneck of this technique is a low transfer speed between disk and memory therefore a compression is used to transfer the data from one point to another. The goal of this thesis is to create a library for compressed …more
Abstract:
Pri verifikacií často narážame na problem stavovej explózie. Existuje mnoho spôsobov, ako riešiť tento problém. Jedným z nich je ukladanie stavového priestoru na disk. Tento spôosob ma jedno pomalé miesto a tým je prenosová rýchlosť pevných diskov. Cieľom tejto bakalárskej práce je implementovať knižnicu pre komprimované ukladanie stavových priestorov na disk ako jedno z možných riešení tohto problému …more
 

Keywords

kompresia stavový priestor DiVinE disk stavová explózia zlib
 
Language used: Slovak
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier: https://is.muni.cz/th/p1pjt/

Thesis defence

  • Date of defence: 22. 6. 2009
  • Supervisor: RNDr. Pavel Šimeček, Ph.D.
  • Reader: prof. RNDr. Jiří Barnat, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.