Knihovna pro komprimované ukládání stavových prostorů na disk – Bc. Peter Matúška
Bc. Peter Matúška
Bakalářská práce
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 …víceAbstract:
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 …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/p1pjt/
Obhajoba závěrečné práce
- Obhajoba proběhla 22. 6. 2009
- Vedoucí: RNDr. Pavel Šimeček, Ph.D.
- Oponent: prof. RNDr. Jiří Barnat, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Vizualizácia stavového priestoru booleovskej siete
Daniela Krúželová -
Vizualizace stavových prostorů
Marek Moravčík