Implementace distribuovaného algoritmu v prostředí DiVinE – Mgr. Martin Pekárek
Mgr. Martin Pekárek
Bakalářská práce
Implementace distribuovaného algoritmu v prostředí DiVinE
Implementation of Distributed Algorithm in DiVinE
Anotace:
V poslední době se stává stále populárnější koncept zvaný ověřování LTL vlastností modelu. Tato technika se využívá k verifikaci hardwaru nebo softwaru. Oproti ostatním technikám má dvě zásadní výhody: -je zcela automatizovatelná -je schopna určit, zda ověřovaný hardware nebo software obsahuje chybu, ba dokonce nám umí dát konkrétní protipříklad Ověřování LTL vlastnosti modelu se skládá ze tří fází …víceAbstract:
In the last few years LTL model checking has become more popular. Previous technique is used for hardware or software verification. It has two basic adventages against others techniques: - it's fully automatized - it's able to detect if a checking hardware or software contain an error even it can give us the counterexample. LTL model checking consist of three parts; at first we express checking model …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 2. 2006
Identifikátor:
https://is.muni.cz/th/o4yfs/
Obhajoba závěrečné práce
- Obhajoba proběhla 6. 2. 2006
- Vedoucí: Mgr. Pavel Moravec
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
-
Algebraický přístup k lineární temporální logice
Karolína Malá -
Topologie času a temporální logika
Jakub Vít -
Grafická reprezentace specifikačních vzorů pro temporální logiky
Adam Tuček -
LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
Milan Češka -
Translation of LTL to omega-automata
Tomáš Babiak -
Vlastnosti alternativních estimátorů modelu tobit za přítomnosti heteroskedasticity
Vojtěch Beneš -
Výzkum mechanických vlastnosti modelů vyrobených aditivní technologií Vat Photopolymerization
Jakub Brezina -
Dynamické vlastnosti modelů systémů chemických reakcí
Veronika HERIANOVÁ